Permalink
Browse files

giwebkit: Gtk.main() kill Ctrl^C

  • Loading branch information...
C Anthony Risinger
C Anthony Risinger committed Aug 25, 2012
1 parent 7dbc5ef commit f941e899752765035fa72797fa9621804bc71596
Showing with 0 additions and 3 deletions.
  1. +0 −3 pyjs/runners/giwebkit.py
View
@@ -613,8 +613,6 @@ def addEventListener(self, element, event_name, cb):
self.listeners[listener] = element
def _delete_event_cb(self, window, event):
- #TODO: Gtk.main_quit() *should* work, but we are driving
- # the loop manually ... see below
while Gtk.events_pending():
Gtk.main_iteration_do(False)
window.unrealize()
@@ -654,7 +652,6 @@ def run(one_event=False, block=True):
sys.stdout.flush()
return Gtk.events_pending()
else:
- #TODO: Gtk.main() is probably fine too
try:
while wv._toplevel.get_realized():
Gtk.main_iteration()

0 comments on commit f941e89

Please sign in to comment.