# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1166839035 0
# Node ID 506b356e829199200f87dd17dac70e17512eaddf
# Parent  38f9c8fca7b403b24f0a96c8374dafa6d08993be
(some_mouse_moved): Fix last change.

diff -r 38f9c8fca7b4 -r 506b356e8291 src/keyboard.c
--- a/src/keyboard.c	Fri Dec 22 23:51:10 2006 +0000
+++ b/src/keyboard.c	Sat Dec 23 01:57:15 2006 +0000
@@ -1453,7 +1453,7 @@
 
   if (ignore_mouse_drag_p)
     {
-      //ignore_mouse_drag_p = 0;
+      /* ignore_mouse_drag_p = 0; */
       return 0;
     }