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