| Mon, 31 Dec 2012 21:41:22 +0100 | wenzelm | prefer JDialog over JWindow to avoid focus inversion problem on Compiz (e.g. Ubuntu/Unity 12.10): both JDialog and JFrame happen to work, but JFrame does not support parent nesting; | changeset | files |
| Mon, 31 Dec 2012 21:01:00 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 31 Dec 2012 20:30:03 +0100 | wenzelm | tuned imports; | changeset | files |