ahamilton/eris
1
0
Fork 0
Code Releases Activity

Fixed main window not resizing.

Browse source
This commit is contained in:
Andrew Hamilton 2016-01-06 14:52:28 +00:00
parent d7cedba890
commit 88f3ca665d
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
vigil
View file

@ -980,16 +980,16 @@ def main(root_path):
if screen._is_paused:
for runner in runners:
runner.pause()
def on_window_resize(n, frame):
appearance_changed_event.set()
signal.signal(signal.SIGWINCH, on_window_resize)
appearance_changed_event.set()
update_display_thread = threading.Thread(
target=update_screen, args=(screen, appearance_changed_event),
daemon=True)
with terminal.hidden_cursor():
with terminal.urwid_screen() as urwid_screen:
signal.signal(signal.SIGWINCH, on_window_resize)
update_display_thread.start()
loop.add_reader(sys.stdin, screen.on_keypressed, urwid_screen)
try: