… | |
… | |
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: constant offste with automove |
|
|
17 | TODO: rework colors and blabla section |
16 | TODO: rework colors and blabla section |
18 | |
17 | |
19 | - changed interpretation of [alpha] colour prefix. |
18 | - changed interpretation of [alpha] colour prefix. |
20 | - +option now really sets the option to default, instead of using the |
19 | - +option now really sets the option to default, instead of using the |
21 | resource value. |
20 | resource value. |