ahamilton/eris
1
0
Fork 0
Code Releases Activity

Coding style.

Browse source 
- Main tui function should also set the window title.
This commit is contained in:
Andrew Hamilton 2021-12-08 19:05:20 +10:00
parent 0679cb14b5
commit 5fd06479da
4 changed files with 16 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

9
fill3/fill3/__init__.py
View file

@ -452,16 +452,17 @@ def signal_handler(loop, signal_, func):
loop.remove_signal_handler(signal_)
async def tui(screen_widget):
async def tui(title, screen_widget):
global APPEARANCE_CHANGED_EVENT
global SHUTDOWN_EVENT
APPEARANCE_CHANGED_EVENT = asyncio.Event()
SHUTDOWN_EVENT = asyncio.Event()
loop = asyncio.get_running_loop()
with (signal_handler(loop, signal.SIGWINCH, lambda: draw_screen(screen_widget)),
with (terminal.title(title), signal_handler(loop, signal.SIGWINCH, lambda: draw_screen(screen_widget)),
signal_handler(loop, signal.SIGINT, SHUTDOWN_EVENT.set),
signal_handler(loop, signal.SIGTERM, SHUTDOWN_EVENT.set),
terminal.alternate_buffer(), terminal.interactive(), terminal.mouse_tracking()):
terminal.alternate_buffer(), terminal.interactive(), terminal.mouse_tracking()
):
update_task = asyncio.create_task(update_screen(screen_widget))
try:
loop.add_reader(sys.stdin, on_terminal_input, screen_widget)
@ -498,4 +499,4 @@ class _Screen:
if __name__ == "__main__":
asyncio.run(tui(_Screen()))
asyncio.run(tui("Hello World", _Screen()))