| changeset 109 | 105b1affc3c2 |
| parent 89 | 94f5baef19ac |
| child 119 | dd91747504dd |
| 97:0c2e0c09ba5c | 109:105b1affc3c2 |
|---|---|
4 class ColorTheme: |
4 class ColorTheme: |
5 |
5 |
6 """Default color style""" |
6 """Default color style""" |
7 |
7 |
8 normal = 'lightgray' |
8 normal = 'lightgray' |
9 active = 'black on cyan' |
|
9 button = 'black on lightgray' |
10 button = 'black on lightgray' |
10 button_active = 'black on cyan' |
11 button_active = 'black on cyan' |
11 |
12 |
12 |
13 |
13 class GraphicalTheme: |
14 class GraphicalTheme: |