##// 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:

r26736:c54a223b
r29005:a32b2ff4 merge
Show More
gtk4.py
27 lines | 557 B | text/x-python | PythonLexer
"""
prompt_toolkit input hook for GTK 4.
"""
from gi.repository import GLib
class _InputHook:
def __init__(self, context):
self._quit = False
GLib.io_add_watch(
context.fileno(), GLib.PRIORITY_DEFAULT, GLib.IO_IN, self.quit
)
def quit(self, *args, **kwargs):
self._quit = True
return False
def run(self):
context = GLib.MainContext.default()
while not self._quit:
context.iteration(True)
def inputhook(context):
hook = _InputHook(context)
hook.run()