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