Mon, 27 Sep 2010 16:19:36 +0200 | haftmann | combine quote and typewriter tag | changeset | files |
Wed, 29 Sep 2010 17:58:27 +0200 | wenzelm | CONTROL-mouse management: handle windowDeactivated as well; | changeset | files |
Tue, 28 Sep 2010 23:47:45 +0200 | wenzelm | CONTROL-mouse management: handle windowIconified; | changeset | files |
Tue, 28 Sep 2010 23:02:05 +0200 | wenzelm | basic support for message popups via HTML_Panel; | changeset | files |
Tue, 28 Sep 2010 20:49:39 +0200 | wenzelm | tuned default perspective; | changeset | files |
Tue, 28 Sep 2010 20:35:17 +0200 | wenzelm | tuned README; | changeset | files |