Parent Directory | Revision Log | Patch
revision 1.36 by benja, Wed Mar 12 19:22:31 2003 UTC | revision 1.37 by benja, Wed Mar 12 19:36:57 2003 UTC | |
---|---|---|
# | Line 16 soon: | Line 16 soon: |
16 | refresh the screen, even if AbstractUpdMgr.chg() | refresh the screen, even if AbstractUpdMgr.chg() |
17 | is called | is called |
18 | ||
19 | - sane sizes for the windows at startup | |
20 | - window title should *not* be "Gzz" :-) | |
21 | - do not require 1.4: MouseEvent.getButton() | |
22 | was not supported before :-( | |
23 | ||
24 | - views proportional to window size | - views proportional to window size |
25 | ||
26 | - README update to explain property selection | - README update to explain property selection |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |