prevent interference from automatic scrolling on user actions

README

@@ -20,8 +20,12 @@ developing with pygtk3: http://lazka.github.io/pgi-docs/, https://python-gtk-3-t
 
 Todo:
 
-- refactor:
 events = click action or words to resynchronize ?
+    click line = synchronize to that line
+    click section = select that section
+    click action = perform action and synchronize to the next line
+
+non intrusive animated scrolling
 global action send which deals with
     - show a warning (optional)
     - sned action through osc
@@ -30,7 +34,11 @@ add global timer which shows elapsed time
 change xml view to reflect already performed actions, already recognized text
 configuration for osc
 
-make configuration box persistant
+make selector a proper window
+make configuration box options persistant
+
+add thread for slu
 
+allow sequence advance in slu, add UI for that
 
 

xmlview_widgets.py

@@ -141,6 +141,7 @@ class XmlView(Gtk.ScrolledWindow):
         self.add_with_viewport(self.vbox)
 
         self.last_section = None
+        self.connect('scroll-event', lambda widget, event: animate.cancel())
 
     def get_view(self):
         return self