| … | |
… | |
| 19 | a) switching modes clears/recreates all widgets (has to, as parameters |
19 | a) switching modes clears/recreates all widgets (has to, as parameters |
| 20 | are not resolution-independent) |
20 | are not resolution-independent) |
| 21 | b) widget layout is nontrivial as to not obscure map |
21 | b) widget layout is nontrivial as to not obscure map |
| 22 | c) need better way to center map then middle-button, maybe map overview |
22 | c) need better way to center map then middle-button, maybe map overview |
| 23 | (but updates will be slow UPDATE updates are not at all slow). |
23 | (but updates will be slow UPDATE updates are not at all slow). |
| 24 | - labels are generally shown too small |
|
|
| 25 | - labels have an extra " " at the end that affects size calculations(?) |
|
|
| 26 | - label needs "expected char width" |
24 | - label needs "expected char width" |
| 27 | - make font description copy: font size changes hurt A LOT (really?) |
|
|
| 28 | - toplevel should enforce that windows always be partially visible |
25 | - toplevel should enforce that windows always be partially visible |
| 29 | - maybe move window managing functionality into toplevel |
26 | - maybe move window managing functionality into toplevel |
| 30 | |
27 | |
| 31 | - cavehippo wants hashstring to be changed to hash name |
28 | - cavehippo wants hashstring to be changed to hash name |
| 32 | - pippij wants playerstealing to work between hostile players |
29 | - pippij wants playerstealing to work between hostile players |
| 33 | - schmorp wants to rework the who output format |
30 | - schmorp wants to rework the who output format |
|
|
31 | - attempt_jump tries to kick jumped-into monster,s but doesn't work |
| 34 | |
32 | |
| 35 | "workarounded" but not solved: |
33 | "workarounded" but not solved: |
| 36 | (- IMPORTANT: move widgets to integer coordinates - fix containers!) |
34 | (- IMPORTANT: move widgets to integer coordinates - fix containers!) |
| 37 | (- pango fontsize measure and decrease to achieve real pixel height) |
35 | (- pango fontsize measure and decrease to achieve real pixel height) |
| 38 | |
36 | |
