From bdb8d13031efe405bc87705ccc49b6f8963d9c90 Mon Sep 17 00:00:00 2001
From: Gonzalo Odiard <godiard@gmail.com>
Date: Thu, 03 Jan 2013 20:36:04 +0000
Subject: Less time in the mousemove timeout - OLPC #12405

To process more positions and draw better curves.

Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>
---
diff --git a/Area.py b/Area.py
index 6236bb0..5661def 100644
--- a/Area.py
+++ b/Area.py
@@ -569,7 +569,7 @@ class Area(Gtk.DrawingArea):
         shift_pressed = event.get_state() & Gdk.ModifierType.SHIFT_MASK
         button1_pressed = event.get_state() & Gdk.ModifierType.BUTTON1_MASK
         if self._update_timer is None:
-            self._update_timer = GObject.timeout_add(20,
+            self._update_timer = GObject.timeout_add(5,
                         self.tool_move,x, y, button1_pressed, shift_pressed)
 
     def tool_move(self, x, y, button1_pressed, shift_pressed):
--
cgit v0.9.1