equal
deleted
inserted
replaced
12 |
12 |
13 class TopWindow(Container): |
13 class TopWindow(Container): |
14 def __init__(self): |
14 def __init__(self): |
15 Container.__init__(self) |
15 Container.__init__(self) |
16 |
16 |
|
17 self.focuswidget = None |
|
18 |
17 self.top = self |
19 self.top = self |
18 |
20 |
19 self.timeout = [] |
21 self.timeout = [] |
20 self.timelast = None |
22 self.timelast = None |
21 |
23 |
22 self.connect('draw', self.on_draw) |
24 self.connect('draw', self.on_draw) |
|
25 |
|
26 def keypress(self, keyname, char): |
|
27 if self.focuswidget and self.focuswidget != self: |
|
28 self.focuswidget.emit('keypress', keyname, char) |
|
29 self.handle('keypress', keyname, char) |
23 |
30 |
24 |
31 |
25 def on_draw(self, screen, x, y): |
32 def on_draw(self, screen, x, y): |
26 screen.erase() |
33 screen.erase() |
27 |
34 |
85 |
92 |
86 def mainloop(self, screen): |
93 def mainloop(self, screen): |
87 self.screen = BackendCurses(screen) |
94 self.screen = BackendCurses(screen) |
88 self.top.width, self.top.height = self.screen.width, self.screen.height |
95 self.top.width, self.top.height = self.screen.width, self.screen.height |
89 self.top.emit('resize') |
96 self.top.emit('resize') |
90 self.top.setfocus() |
|
91 |
97 |
92 while True: |
98 while True: |
93 self.top.draw(self.screen) |
99 self.top.draw(self.screen) |
94 self.screen.commit() |
100 self.screen.commit() |
95 |
101 |