##// END OF EJS Templates
Remove deprecated call_tip since 6.0 (#14607)...
Remove deprecated call_tip since 6.0 (#14607) Nothing should be using it.

File last commit:

r27843:667f3cbe
r29005:a32b2ff4 merge
Show More
gtk3.py
14 lines | 280 B | text/x-python | PythonLexer
"""prompt_toolkit input hook for GTK 3
"""
from gi.repository import Gtk, GLib
def _main_quit(*args, **kwargs):
Gtk.main_quit()
return False
def inputhook(context):
GLib.io_add_watch(context.fileno(), GLib.PRIORITY_DEFAULT, GLib.IO_IN, _main_quit)
Gtk.main()