From a2be67cd6b932bd5fc8b58e109966ff126e982c0 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@madoka.spb.ru>
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 f7699efbe..bdd0d778c 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);
 	}