| Thu, 10 Dec 2009 13:47:50 +0100 | wenzelm | install_fonts; | changeset | files |
| Tue, 08 Dec 2009 23:45:42 +0100 | wenzelm | renamed "raw output" to "protocol"; | changeset | files |
| Tue, 08 Dec 2009 23:18:07 +0100 | wenzelm | proper actor wiring for raw process output; | changeset | files |
| Tue, 08 Dec 2009 23:15:59 +0100 | wenzelm | misc tuning; | changeset | files |
| Tue, 08 Dec 2009 22:38:32 +0100 | wenzelm | prefer options from running application; | changeset | files |
| Tue, 08 Dec 2009 21:54:34 +0100 | wenzelm | more precise messages; | changeset | files |
| Tue, 08 Dec 2009 21:49:30 +0100 | wenzelm | back to low-level JPanel, required for addNotify/removeNotify; | changeset | files |