| 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 |
|
|
a) switching modes clears/Recreates all widgets (has to, as parameters |
| 5 |
|
|
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 |
|
|
(but updates will be slow). |
| 9 |
root |
1.3 |
- label needs "expected char size" |
| 10 |
root |
1.4 |
- make font description copy: font size changes hurt A LOT |
| 11 |
root |
1.9 |
- toplevel should enforce that windows always be partially visible |
| 12 |
root |
1.6 |
- maybe move window managing functionality into toplevel |
| 13 |
root |
1.8 |
|
| 14 |
root |
1.9 |
"workarounded" but not solved: |
| 15 |
|
|
(- IMPORTANT: move widgets to integer coordinates - fix containers!) |
| 16 |
root |
1.8 |
(- pango fontsize measure and decrease to achieve real pixel height) |
