##// END OF EJS Templates
crashhandler: Cast rptdir to Path (#14578)...
crashhandler: Cast rptdir to Path (#14578) Previously `self.app.ipython_dir` is a string, which makes `Path.is_dir(<object>)` fail. Note that the argument is `self` i.e. should be a `Path` instance. If `ipython_dir` is `None` then this code would just catch it in the `except:` branch, which makes it be set to `Path.cwd()` anyway.

File last commit:

r26736:c54a223b
r28963:d7eebae4 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()