Make canvas emit motion-notify-event during pointer motion. dslo#1402

1 files changed, 6 insertions, 0 deletions

diff --git a/terminal.py b/terminal.py
index 356f6b7..9232545 100644
--- a/terminal.py
+++ b/terminal.py
@@ -241,6 +241,9 @@ class TerminalActivity(activity.Activity):
         vt.connect("child-exited", self.__tab_child_exited_cb)
         vt.connect("window-title-changed", self.__tab_title_changed_cb)
 
+        # FIXME have to resend motion events to parent, see #1402
+        vt.connect('motion-notify-event', self.__motion_notify_cb)
+
         vt.drag_dest_set(gtk.DEST_DEFAULT_MOTION|gtk.DEST_DEFAULT_DROP,
                [('text/plain', 0, 0), ('STRING', 0, 1)],
                gtk.gdk.ACTION_DEFAULT|
@@ -304,6 +307,9 @@ class TerminalActivity(activity.Activity):
 
         return index
 
+    def __motion_notify_cb(self, widget, event):
+        self.canvas.parent.emit('motion-notify-event', event)
+
     def __become_root_cb(self, button):
         vt = self._notebook.get_nth_page(self._notebook.get_current_page()).vt
         vt.feed('\r\n')