From 90e10984824ab4056fbb7c8cd1c1d77a55e954eb Mon Sep 17 00:00:00 2001
From: Aleksey Lim <alsroot@member.fsf.org>
Date: Sun, 20 Sep 2009 18:56:30 +0000
Subject: Reveal unfullscreen button on mouse motion #1402
---
terminal.py | 6 ++++++
1 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/terminal.py b/terminal.py
index 356f6b7..9232545 100644
a
|
b
|
class TerminalActivity(activity.Activity): |
241 | 241 | vt.connect("child-exited", self.__tab_child_exited_cb) |
242 | 242 | vt.connect("window-title-changed", self.__tab_title_changed_cb) |
243 | 243 | |
| 244 | # FIXME have to resend motion events to parent, see #1402 |
| 245 | vt.connect('motion-notify-event', self.__motion_notify_cb) |
| 246 | |
244 | 247 | vt.drag_dest_set(gtk.DEST_DEFAULT_MOTION|gtk.DEST_DEFAULT_DROP, |
245 | 248 | [('text/plain', 0, 0), ('STRING', 0, 1)], |
246 | 249 | gtk.gdk.ACTION_DEFAULT| |
… |
… |
class TerminalActivity(activity.Activity): |
304 | 307 | |
305 | 308 | return index |
306 | 309 | |
| 310 | def __motion_notify_cb(self, widget, event): |
| 311 | self.canvas.parent.emit('motion-notify-event', event) |
| 312 | |
307 | 313 | def __become_root_cb(self, button): |
308 | 314 | vt = self._notebook.get_nth_page(self._notebook.get_current_page()).vt |
309 | 315 | vt.feed('\r\n') |