| 1 | - pango fontsize measure and decrease to achieve real pixel height |
1 | http://pyopengl.sourceforge.net/documentation/manual/glutEnterGameMode.3GLUT.html |
|
|
2 | |
|
|
3 | - 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 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(?) |
| 2 | - label needs "expected char size" |
11 | - label needs "expected char size" |
|
|
12 | - make font description copy: font size changes hurt A LOT |
|
|
13 | - toplevel should enforce that windows always be partially visible |
|
|
14 | - maybe move window managing functionality into toplevel |
|
|
15 | |
|
|
16 | "workarounded" but not solved: |
|
|
17 | (- IMPORTANT: move widgets to integer coordinates - fix containers!) |
|
|
18 | (- pango fontsize measure and decrease to achieve real pixel height) |
