… | |
… | |
11 | WISH: anyevent mouse notification / manage MotionMask better. |
11 | WISH: anyevent mouse notification / manage MotionMask better. |
12 | WISH: http://www120.pair.com/mccarthy/nextstep/intro.htmld/Workspace.html is the correct nextstep look. |
12 | WISH: http://www120.pair.com/mccarthy/nextstep/intro.htmld/Workspace.html is the correct nextstep look. |
13 | DUMB: support tex fonts |
13 | DUMB: support tex fonts |
14 | |
14 | |
15 | TODO: option popup hook, make some exts switchable |
15 | TODO: option popup hook, make some exts switchable |
16 | TODO: rework colors and blabla section |
|
|
17 | |
16 | |
18 | - changed interpretation of [alpha] colour prefix. |
17 | - changed interpretation of [alpha] colour prefix. |
19 | - +option now really sets the option to default, instead of using the |
18 | - +option now really sets the option to default, instead of using the |
20 | resource value. |
19 | resource value. |
21 | - options that require an argument now really _require_ an argument. |
20 | - options that require an argument now really _require_ an argument. |