1 |
root |
1.7 |
http://pyopengl.sourceforge.net/documentation/manual/glutEnterGameMode.3GLUT.html |
2 |
|
|
|
3 |
root |
1.9 |
- IMPORTANT: user interface (window positions etc.) should be saved, but |
4 |
root |
1.10 |
a) switching modes clears/recreates all widgets (has to, as parameters |
5 |
root |
1.9 |
are not resolution-independent) |
6 |
|
|
b) widget layout is nontrivial as to not obscure map |
7 |
|
|
c) need better way to center map then middle-button, maybe map overview |
8 |
root |
1.10 |
(but updates will be slow UPDATE updates are not at all slow). |
9 |
|
|
- labels are generally shown too small |
10 |
|
|
- labels have an extra " " at the end that affects size calculations(?) |
11 |
root |
1.3 |
- label needs "expected char size" |
12 |
root |
1.4 |
- make font description copy: font size changes hurt A LOT |
13 |
root |
1.9 |
- toplevel should enforce that windows always be partially visible |
14 |
root |
1.6 |
- maybe move window managing functionality into toplevel |
15 |
root |
1.8 |
|
16 |
root |
1.9 |
"workarounded" but not solved: |
17 |
|
|
(- IMPORTANT: move widgets to integer coordinates - fix containers!) |
18 |
root |
1.8 |
(- pango fontsize measure and decrease to achieve real pixel height) |