Mon, 31 Dec 2012 21:41:22 +0100 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;
wenzelm [Mon, 31 Dec 2012 21:41:22 +0100] rev 50659
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;
Mon, 31 Dec 2012 21:01:00 +0100 tuned signature;
wenzelm [Mon, 31 Dec 2012 21:01:00 +0100] rev 50658
tuned signature;
Mon, 31 Dec 2012 20:30:03 +0100 tuned imports;
wenzelm [Mon, 31 Dec 2012 20:30:03 +0100] rev 50657
tuned imports;
Mon, 31 Dec 2012 16:56:54 +0100 include user counters as well;
wenzelm [Mon, 31 Dec 2012 16:56:54 +0100] rev 50656
include user counters as well;
Mon, 31 Dec 2012 16:41:51 +0100 scala mode is already part of jedit-5.0.0;
wenzelm [Mon, 31 Dec 2012 16:41:51 +0100] rev 50655
scala mode is already part of jedit-5.0.0;
Mon, 31 Dec 2012 16:16:43 +0100 tuned;
wenzelm [Mon, 31 Dec 2012 16:16:43 +0100] rev 50654
tuned;
Mon, 31 Dec 2012 15:56:17 +0100 simplified quick start via "isabelle components -I";
wenzelm [Mon, 31 Dec 2012 15:56:17 +0100] rev 50653
simplified quick start via "isabelle components -I";
Mon, 31 Dec 2012 14:58:21 +0100 tuned signature -- eliminated obsolete Standard_System;
wenzelm [Mon, 31 Dec 2012 14:58:21 +0100] rev 50652
tuned signature -- eliminated obsolete Standard_System;
Mon, 31 Dec 2012 13:49:01 +0100 tuned signature;
wenzelm [Mon, 31 Dec 2012 13:49:01 +0100] rev 50651
tuned signature;
Mon, 31 Dec 2012 13:34:47 +0100 recovered generic PIDE build;
wenzelm [Mon, 31 Dec 2012 13:34:47 +0100] rev 50650
recovered generic PIDE build;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip