author | Radek Brich <radek.brich@devl.cz> |
Sat, 05 Jan 2013 16:47:30 +0100 | |
changeset 49 | 1611c462c3e3 |
parent 46 | 2b43a7f38c34 |
child 52 | 50a1857557da |
permissions | -rw-r--r-- |
0 | 1 |
# -*- coding: utf-8 -*- |
2 |
||
3 |
import logging |
|
4 |
import time |
|
5 |
import math |
|
6 |
||
18
e6c3a5ee91aa
Eliminate relative imports.
Radek Brich <radek.brich@devl.cz>
parents:
17
diff
changeset
|
7 |
from tuikit.container import Container |
0 | 8 |
|
9 |
||
10 |
class TopWindow(Container): |
|
32
088b92ffb119
Clean up, refactoring. Rename EventSource to Emitter, begin merging emit() method with handle().
Radek Brich <radek.brich@devl.cz>
parents:
30
diff
changeset
|
11 |
|
13
19ebde2fd594
Add more generated documentation.
Radek Brich <radek.brich@devl.cz>
parents:
11
diff
changeset
|
12 |
'''Top window of an application. Covers entire screen.''' |
32
088b92ffb119
Clean up, refactoring. Rename EventSource to Emitter, begin merging emit() method with handle().
Radek Brich <radek.brich@devl.cz>
parents:
30
diff
changeset
|
13 |
|
0 | 14 |
def __init__(self): |
13
19ebde2fd594
Add more generated documentation.
Radek Brich <radek.brich@devl.cz>
parents:
11
diff
changeset
|
15 |
'''Create top window.''' |
0 | 16 |
Container.__init__(self) |
17 |
||
18 |
self.top = self |
|
19 |
||
20 |
self.timeout = [] |
|
21 |
self.timelast = None |
|
22 |
||
46
2b43a7f38c34
Minor updates. Replace super() with direct class reference. Add demo_colors.
Radek Brich <radek.brich@devl.cz>
parents:
36
diff
changeset
|
23 |
def draw(self, driver, x=0, y=0): |
36 | 24 |
"""Draw the top window and its children. |
0 | 25 |
|
36 | 26 |
This is entry point for full screen redraw. |
27 |
||
28 |
""" |
|
46
2b43a7f38c34
Minor updates. Replace super() with direct class reference. Add demo_colors.
Radek Brich <radek.brich@devl.cz>
parents:
36
diff
changeset
|
29 |
driver.erase() |
2b43a7f38c34
Minor updates. Replace super() with direct class reference. Add demo_colors.
Radek Brich <radek.brich@devl.cz>
parents:
36
diff
changeset
|
30 |
Container.draw(self, driver, x, y) |
0 | 31 |
|
32 |
def add_timeout(self, s, func): |
|
33 |
if not len(self.timeout): |
|
34 |
self.timelast = time.time() |
|
35 |
self.timeout += [[s, func]] |
|
36 |
||
37 |
||
38 |
def remove_timeout(self, func): |
|
39 |
for to in self.timeout[:]: |
|
40 |
if to[1] == func: |
|
41 |
self.timeout.remove(to) |
|
42 |
||
43 |
||
44 |
def has_timeout(self): |
|
45 |
return len(self.timeout) and True or False |
|
46 |
||
47 |
||
48 |
def nearest_timeout(self): |
|
49 |
return min(self.timeout)[0] |
|
50 |
||
51 |
||
52 |
def process_timeout(self): |
|
53 |
now = time.time() |
|
54 |
lasted = now - self.timelast |
|
55 |
self.timelast = now |
|
56 |
||
57 |
for to in self.timeout[:]: |
|
58 |
newt = to[0] - lasted |
|
59 |
if newt <= 0.0: |
|
60 |
to[1]() |
|
61 |
self.timeout.remove(to) |
|
62 |
else: |
|
63 |
to[0] = newt |
|
64 |
||
65 |
||
66 |
class Application: |
|
32
088b92ffb119
Clean up, refactoring. Rename EventSource to Emitter, begin merging emit() method with handle().
Radek Brich <radek.brich@devl.cz>
parents:
30
diff
changeset
|
67 |
|
13
19ebde2fd594
Add more generated documentation.
Radek Brich <radek.brich@devl.cz>
parents:
11
diff
changeset
|
68 |
'''Application class. Defines main loop.''' |
32
088b92ffb119
Clean up, refactoring. Rename EventSource to Emitter, begin merging emit() method with handle().
Radek Brich <radek.brich@devl.cz>
parents:
30
diff
changeset
|
69 |
|
49
1611c462c3e3
Update sdlterm: Optimize commit() - use two cell buffers, redraw only dirty cells, not everything. Fix keypress event, filter mousemove.
Radek Brich <radek.brich@devl.cz>
parents:
46
diff
changeset
|
70 |
def __init__(self, driver = 'sdl'): |
13
19ebde2fd594
Add more generated documentation.
Radek Brich <radek.brich@devl.cz>
parents:
11
diff
changeset
|
71 |
'''Create application.''' |
32
088b92ffb119
Clean up, refactoring. Rename EventSource to Emitter, begin merging emit() method with handle().
Radek Brich <radek.brich@devl.cz>
parents:
30
diff
changeset
|
72 |
|
23
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
73 |
self.top = TopWindow() |
13
19ebde2fd594
Add more generated documentation.
Radek Brich <radek.brich@devl.cz>
parents:
11
diff
changeset
|
74 |
'''Top window.''' |
32
088b92ffb119
Clean up, refactoring. Rename EventSource to Emitter, begin merging emit() method with handle().
Radek Brich <radek.brich@devl.cz>
parents:
30
diff
changeset
|
75 |
|
0 | 76 |
self.quit = False |
32
088b92ffb119
Clean up, refactoring. Rename EventSource to Emitter, begin merging emit() method with handle().
Radek Brich <radek.brich@devl.cz>
parents:
30
diff
changeset
|
77 |
|
29
c0cdef06fd16
Import only one driver from application.
Radek Brich <radek.brich@devl.cz>
parents:
24
diff
changeset
|
78 |
self.driver = self.get_driver_instance(driver) |
c0cdef06fd16
Import only one driver from application.
Radek Brich <radek.brich@devl.cz>
parents:
24
diff
changeset
|
79 |
'''Driver class instance (render + input), e.g. DriverCurses.''' |
32
088b92ffb119
Clean up, refactoring. Rename EventSource to Emitter, begin merging emit() method with handle().
Radek Brich <radek.brich@devl.cz>
parents:
30
diff
changeset
|
80 |
|
0 | 81 |
self.log = logging.getLogger('tuikit') |
82 |
self.log.setLevel(logging.DEBUG) |
|
83 |
handler = logging.FileHandler('./tuikit.log') |
|
15 | 84 |
formatter = logging.Formatter('%(asctime)s %(levelname)-5s %(message)s', '%y-%m-%d %H:%M:%S') |
85 |
handler.setFormatter(formatter) |
|
0 | 86 |
self.log.addHandler(handler) |
15 | 87 |
self.log.info('=== start ===') |
0 | 88 |
|
89 |
def start(self): |
|
13
19ebde2fd594
Add more generated documentation.
Radek Brich <radek.brich@devl.cz>
parents:
11
diff
changeset
|
90 |
'''Start application. Runs main loop.''' |
23
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
91 |
self.driver.start(self.mainloop) |
0 | 92 |
|
93 |
def terminate(self): |
|
13
19ebde2fd594
Add more generated documentation.
Radek Brich <radek.brich@devl.cz>
parents:
11
diff
changeset
|
94 |
'''Terminate application.''' |
0 | 95 |
self.quit = True |
96 |
||
23
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
97 |
def mainloop(self): |
13
19ebde2fd594
Add more generated documentation.
Radek Brich <radek.brich@devl.cz>
parents:
11
diff
changeset
|
98 |
'''The main loop.''' |
7
d4a291b31cbb
New color management - named colors.
Radek Brich <radek.brich@devl.cz>
parents:
1
diff
changeset
|
99 |
self.applytheme() |
32
088b92ffb119
Clean up, refactoring. Rename EventSource to Emitter, begin merging emit() method with handle().
Radek Brich <radek.brich@devl.cz>
parents:
30
diff
changeset
|
100 |
self.top.size = self.driver.size # link top widget size to screen size |
34
e3beacd5e536
Update event propagation, keypress event, focusing.
Radek Brich <radek.brich@devl.cz>
parents:
32
diff
changeset
|
101 |
self.top.emit('resize') |
0 | 102 |
|
103 |
while True: |
|
23
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
104 |
self.top.draw(self.driver) |
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
105 |
self.driver.commit() |
0 | 106 |
|
107 |
timeout = None |
|
108 |
if self.top.has_timeout(): |
|
109 |
timeout = int(math.ceil(self.top.nearest_timeout() * 10)) |
|
110 |
||
24
b248ef500557
Add DriverPygame (incomplete). Move unicode graphics constants to UnicodeGraphics class. Move shared parts of drivers to Driver base class.
Radek Brich <radek.brich@devl.cz>
parents:
23
diff
changeset
|
111 |
events = self.driver.getevents(timeout) |
0 | 112 |
|
113 |
if self.top.has_timeout(): |
|
114 |
self.top.process_timeout() |
|
115 |
||
116 |
for event in events: |
|
24
b248ef500557
Add DriverPygame (incomplete). Move unicode graphics constants to UnicodeGraphics class. Move shared parts of drivers to Driver base class.
Radek Brich <radek.brich@devl.cz>
parents:
23
diff
changeset
|
117 |
if event[0] == 'quit': |
b248ef500557
Add DriverPygame (incomplete). Move unicode graphics constants to UnicodeGraphics class. Move shared parts of drivers to Driver base class.
Radek Brich <radek.brich@devl.cz>
parents:
23
diff
changeset
|
118 |
self.quit = True |
b248ef500557
Add DriverPygame (incomplete). Move unicode graphics constants to UnicodeGraphics class. Move shared parts of drivers to Driver base class.
Radek Brich <radek.brich@devl.cz>
parents:
23
diff
changeset
|
119 |
else: |
b248ef500557
Add DriverPygame (incomplete). Move unicode graphics constants to UnicodeGraphics class. Move shared parts of drivers to Driver base class.
Radek Brich <radek.brich@devl.cz>
parents:
23
diff
changeset
|
120 |
self.top.emit(event[0], *event[1:]) |
0 | 121 |
|
122 |
if self.quit: |
|
123 |
break |
|
124 |
||
7
d4a291b31cbb
New color management - named colors.
Radek Brich <radek.brich@devl.cz>
parents:
1
diff
changeset
|
125 |
|
d4a291b31cbb
New color management - named colors.
Radek Brich <radek.brich@devl.cz>
parents:
1
diff
changeset
|
126 |
def applytheme(self): |
23
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
127 |
driver = self.driver |
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
128 |
driver.setcolor('normal', 'white on black') |
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
129 |
driver.setcolor('strong', 'white on black, bold') |
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
130 |
driver.setcolor('active', 'black on cyan') |
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
131 |
driver.setcolor('window:normal', 'white on blue') |
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
132 |
driver.setcolor('window:controls', 'white on blue, bold') |
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
133 |
driver.setcolor('window:controls-active', 'cyan on blue, bold') |
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
134 |
driver.setcolor('button', 'black on white') |
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
135 |
driver.setcolor('button-active', 'black on cyan') |
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
136 |
driver.setcolor('menu', 'black on cyan') |
4e72fd2a0e14
Rename BackendCurses to DriverCurses. Add DriverDummy - dummy driver for debugging purposes. Move clipping stack from driver to common.ClipStack class.
Radek Brich <radek.brich@devl.cz>
parents:
21
diff
changeset
|
137 |
driver.setcolor('menu-active', 'white on cyan, bold') |
30
05500124d7fb
Add setup script. Add Checkbox widget + demo. Updates.
Radek Brich <radek.brich@devl.cz>
parents:
29
diff
changeset
|
138 |
driver.setcolor('combo:normal', 'black on green') |
13
19ebde2fd594
Add more generated documentation.
Radek Brich <radek.brich@devl.cz>
parents:
11
diff
changeset
|
139 |
|
46
2b43a7f38c34
Minor updates. Replace super() with direct class reference. Add demo_colors.
Radek Brich <radek.brich@devl.cz>
parents:
36
diff
changeset
|
140 |
driver.setcolor('test-blink', 'cyan on blue, blink') |
2b43a7f38c34
Minor updates. Replace super() with direct class reference. Add demo_colors.
Radek Brich <radek.brich@devl.cz>
parents:
36
diff
changeset
|
141 |
driver.setcolor('test-bold', 'cyan on blue, bold') |
2b43a7f38c34
Minor updates. Replace super() with direct class reference. Add demo_colors.
Radek Brich <radek.brich@devl.cz>
parents:
36
diff
changeset
|
142 |
driver.setcolor('test-dim', 'cyan on blue, dim') |
2b43a7f38c34
Minor updates. Replace super() with direct class reference. Add demo_colors.
Radek Brich <radek.brich@devl.cz>
parents:
36
diff
changeset
|
143 |
driver.setcolor('test-standout', 'cyan on blue, standout') |
2b43a7f38c34
Minor updates. Replace super() with direct class reference. Add demo_colors.
Radek Brich <radek.brich@devl.cz>
parents:
36
diff
changeset
|
144 |
driver.setcolor('test-underline', 'cyan on blue, underline') |
2b43a7f38c34
Minor updates. Replace super() with direct class reference. Add demo_colors.
Radek Brich <radek.brich@devl.cz>
parents:
36
diff
changeset
|
145 |
|
29
c0cdef06fd16
Import only one driver from application.
Radek Brich <radek.brich@devl.cz>
parents:
24
diff
changeset
|
146 |
|
c0cdef06fd16
Import only one driver from application.
Radek Brich <radek.brich@devl.cz>
parents:
24
diff
changeset
|
147 |
def get_driver_instance(self, name): |
c0cdef06fd16
Import only one driver from application.
Radek Brich <radek.brich@devl.cz>
parents:
24
diff
changeset
|
148 |
module = __import__('tuikit.driver_' + name, fromlist=['driverclass']) |
c0cdef06fd16
Import only one driver from application.
Radek Brich <radek.brich@devl.cz>
parents:
24
diff
changeset
|
149 |
return module.driverclass() |
c0cdef06fd16
Import only one driver from application.
Radek Brich <radek.brich@devl.cz>
parents:
24
diff
changeset
|
150 |