12 |
|
|
13 |
|
|
14 |
0.1: Useful RDF browser |
0.1: Useful RDF browser |
|
- fix bug: any event on the AWT thread does not |
|
|
refresh the screen, even if AbstractUpdMgr.chg() |
|
|
is called |
|
|
|
|
15 |
- sane sizes for the windows (main, Properties, |
- sane sizes for the windows (main, Properties, |
16 |
Go to URL) at startup |
Go to URL) at startup |
17 |
- smaller nodes |
|
18 |
|
- make Wheel view default |
19 |
|
|
20 |
- README update to explain property selection |
- README update to explain property selection |
21 |
and the View menu |
and the View menu |
22 |
|
|
|
+ window title should *not* be "Gzz" :-) |
|
|
|
|
23 |
later (or now if somebody wants to): |
later (or now if somebody wants to): |
24 |
|
|
25 |
- clip instead of truncate text |
- clip instead of truncate text |