grabber: prevent text selection when resizing

diff --git a/feedlist.js b/feedlist.js
index f7699efbe5ae832be0f2fbbe6d8c96537c66b453..bdd0d778c24bf583aba9d84e2a0335ef3cd24e62 100644 (file)
--- 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);
        }