| Wed, 05 Dec 2012 22:25:15 +0100 | wenzelm | select logic session names, not paths; | changeset | files |
| Wed, 05 Dec 2012 21:13:50 +0100 | wenzelm | added keyboard shortcut for button (canonical way to do that?); | changeset | files |
| Wed, 05 Dec 2012 20:43:02 +0100 | wenzelm | evade ugly default font, notably on Windows laf; | changeset | files |
| Wed, 05 Dec 2012 20:24:49 +0100 | wenzelm | center main window; | changeset | files |
| Wed, 05 Dec 2012 19:46:47 +0100 | wenzelm | more direct dialog via existing GUI components; | changeset | files |
| Wed, 05 Dec 2012 19:25:57 +0100 | wenzelm | clarified logic argument: session name, not path name; | changeset | files |
| Wed, 05 Dec 2012 19:08:23 +0100 | wenzelm | tuned message; | changeset | files |