| Tue, 08 Dec 2009 18:00:05 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 08 Dec 2009 17:56:53 +0100 | wenzelm | simplified register_fonts; | changeset | files |
| Tue, 08 Dec 2009 16:44:30 +0100 | wenzelm | tuned library names; | changeset | files |
| Tue, 08 Dec 2009 16:30:20 +0100 | wenzelm | misc modernization of names; | changeset | files |
| Tue, 08 Dec 2009 14:49:01 +0100 | wenzelm | misc rearrangement of files; | changeset | files |
| Tue, 08 Dec 2009 14:29:29 +0100 | wenzelm | removed remains of Flying Saucer; | changeset | files |
| Tue, 08 Dec 2009 12:10:55 +0100 | wenzelm | manipulate document within Swing thread only -- potentially slow; | changeset | files |