Using self.panel.hide() without calling
curses.panel.update_panels() before next refresh can really mess
stuff up. As far as I can tell, this was the real cause of #100.

This changes that call to the Modal's hide method instead, which
will keep this sort of issue from coming up again (hopefully)
pull/105/head
Derek Schmidt 2019-04-24 21:43:38 -07:00 zatwierdzone przez Ivan Habunek
rodzic aff0c2281f
commit cb3885b20b
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: CDBD63C43A30BB95
1 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

@ -260,7 +260,7 @@ class Modal:
self.window = curses.newwin(height, width, y, x) self.window = curses.newwin(height, width, y, x)
self.draw() self.draw()
self.panel = curses.panel.new_panel(self.window) self.panel = curses.panel.new_panel(self.window)
self.panel.hide() self.hide()
def get_content(self): def get_content(self):
raise NotImplementedError() raise NotImplementedError()
@ -346,7 +346,7 @@ class EntryModal(Modal):
self.draw() self.draw()
self.panel = curses.panel.new_panel(self.window) self.panel = curses.panel.new_panel(self.window)
self.panel.hide() self.hide()
def get_size_pos(self, stdscr): def get_size_pos(self, stdscr):
screen_height, screen_width = stdscr.getmaxyx() screen_height, screen_width = stdscr.getmaxyx()