From 6d59f30b4f97226a9b31ee2d0eaec9fdca180d86 Mon Sep 17 00:00:00 2001
From: Benoit Favre <benoit.favre@lif.univ-mrs.fr>
Date: Fri, 20 Feb 2015 22:01:20 +0100
Subject: [PATCH] prevent interference from automatic scrolling on user actions
---
README | 12 ++++++++++--
xmlview_widgets.py | 1 +
2 files changed, 11 insertions(+), 2 deletions(-)
diff --git a/README b/README
index 101ba29..bc4e83d 100644
--- a/README
+++ b/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
diff --git a/xmlview_widgets.py b/xmlview_widgets.py
index 48c19d2..ab30d77 100644
--- a/xmlview_widgets.py
+++ b/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
--
GitLab