[gedit] tools: missing return values
- From: Ignacio Casal Quinteiro <icq src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] tools: missing return values
- Date: Mon, 1 Apr 2013 19:33:26 +0000 (UTC)
commit e3ced94f53dbaba9886fce5784f3c39a26ef7b86
Author: Ignacio Casal Quinteiro <icq gnome org>
Date: Mon Apr 1 21:33:14 2013 +0200
tools: missing return values
plugins/externaltools/tools/manager.py | 2 ++
1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/plugins/externaltools/tools/manager.py b/plugins/externaltools/tools/manager.py
index a97d82a..805eede 100644
--- a/plugins/externaltools/tools/manager.py
+++ b/plugins/externaltools/tools/manager.py
@@ -247,12 +247,14 @@ class LanguagesPopup(Gtk.Window):
def do_button_press_event(self, event):
if not self.in_window(event):
self.destroy()
+ return True
else:
return self.propagate_mouse_event(event)
def do_button_release_event(self, event):
if not self.in_window(event):
self.destroy()
+ return True
else:
return self.propagate_mouse_event(event)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]