equal
deleted
inserted
replaced
61 self._started = True |
61 self._started = True |
62 self.window_manager.handle_event(ResizeEvent(*self.driver.size)) |
62 self.window_manager.handle_event(ResizeEvent(*self.driver.size)) |
63 |
63 |
64 screen = ProxyBuffer(self.driver) |
64 screen = ProxyBuffer(self.driver) |
65 while not self._quit: |
65 while not self._quit: |
66 self.window_manager.draw(screen) |
66 self.window_manager.draw_if_needed(screen) |
67 self.driver.cursor = self.window_manager.get_cursor_if_visible() |
67 self.driver.cursor = self.window_manager.get_cursor_if_visible() |
68 self.driver.flush() |
68 self.driver.flush() |
69 |
69 |
70 timeout = self.timer.nearest_timeout() |
70 timeout = self.timer.nearest_timeout() |
71 events = self.driver.getevents(timeout) |
71 events = self.driver.getevents(timeout) |