From a2be67cd6b932bd5fc8b58e109966ff126e982c0 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Tue, 20 May 2008 06:18:00 +0100 Subject: [PATCH] grabber: prevent text selection when resizing --- feedlist.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/feedlist.js b/feedlist.js index f7699efb..bdd0d778 100644 --- a/feedlist.js +++ b/feedlist.js @@ -510,6 +510,7 @@ function mouse_down_handler(e) { mouse_is_down = true; mouse_x = 0; mouse_y = 0; + document.onselectstart = function() { return false; }; } } catch (e) { exception_error("mouse_move_handler", e); @@ -519,6 +520,7 @@ function mouse_down_handler(e) { function mouse_up_handler(e) { try { mouse_is_down = false; + document.onselectstart = null; } catch (e) { exception_error("mouse_move_handler", e); } -- 2.39.5