Wed, 02 Apr 2014 20:22:12 +0200 |
wenzelm |
more explicit iterator terminology, in accordance to Scala 2.8 library;
|
file |
diff |
annotate
|
Wed, 02 Apr 2014 17:39:47 +0200 |
wenzelm |
tuned rendering;
|
file |
diff |
annotate
|
Wed, 02 Apr 2014 11:08:16 +0200 |
wenzelm |
tuned rendering -- visual indication of the status range, to make more clear when information might is out of view;
|
file |
diff |
annotate
|
Tue, 18 Mar 2014 17:39:03 +0100 |
wenzelm |
clarifed module name;
|
file |
diff |
annotate
|
Mon, 03 Mar 2014 10:59:33 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 20 Feb 2014 14:36:17 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
Thu, 05 Dec 2013 17:58:03 +0100 |
wenzelm |
merged, resolving obvious conflicts in NEWS and src/Pure/System/isabelle_process.ML;
|
file |
diff |
annotate
|
Sat, 30 Nov 2013 16:07:00 +0100 |
wenzelm |
non-focusable button, to avoid second interpretation of SPACE in C+e SPACE (isabelle.set-node-required);
|
file |
diff |
annotate
|
Wed, 20 Nov 2013 16:15:54 +0100 |
wenzelm |
restrict node_required status and Theories panel to actual theories;
|
file |
diff |
annotate
|
Wed, 18 Sep 2013 20:09:26 +0200 |
wenzelm |
added option "jedit_auto_load";
|
file |
diff |
annotate
|
Wed, 18 Sep 2013 15:09:15 +0200 |
wenzelm |
improved FlowLayout for wrapping of components over multiple lines;
|
file |
diff |
annotate
|
Sat, 24 Aug 2013 14:58:36 +0200 |
wenzelm |
more precise painting;
|
file |
diff |
annotate
|
Sat, 24 Aug 2013 13:32:51 +0200 |
wenzelm |
more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;
|
file |
diff |
annotate
|
Sat, 24 Aug 2013 12:31:24 +0200 |
wenzelm |
clarified border (again, see also 7ce3ebc268a1);
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 17:11:27 +0200 |
wenzelm |
manage hyperlinks via PIDE editor interface;
|
file |
diff |
annotate
|
Mon, 12 Aug 2013 11:56:12 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 05 Aug 2013 11:08:54 +0200 |
wenzelm |
initial update of nodes_required, for proper GUI state;
|
file |
diff |
annotate
|
Wed, 31 Jul 2013 22:15:17 +0200 |
wenzelm |
proper border (again) -- avoid NPE on Windows;
|
file |
diff |
annotate
|
Wed, 31 Jul 2013 21:49:29 +0200 |
wenzelm |
added home-made tooltips;
|
file |
diff |
annotate
|
Wed, 31 Jul 2013 21:13:05 +0200 |
wenzelm |
home-grown mouse handling to pretend that the painted checkbox is actually a Swing component;
|
file |
diff |
annotate
|
Wed, 31 Jul 2013 19:59:14 +0200 |
wenzelm |
actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable);
|
file |
diff |
annotate
|
Wed, 31 Jul 2013 12:31:10 +0200 |
wenzelm |
paint unassigned/unchanged nodes as unprocessed -- relevant for editor_continuous_checking = false;
|
file |
diff |
annotate
|
Wed, 31 Jul 2013 10:54:37 +0200 |
wenzelm |
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
|
file |
diff |
annotate
|
Tue, 30 Jul 2013 22:43:11 +0200 |
wenzelm |
more uniform border;
|
file |
diff |
annotate
|
Mon, 29 Jul 2013 20:46:21 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
Mon, 29 Jul 2013 15:01:44 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 29 Jul 2013 13:43:12 +0200 |
wenzelm |
always init GUI state;
|
file |
diff |
annotate
|
Mon, 29 Jul 2013 12:50:16 +0200 |
wenzelm |
support declarative editor_execution_range, instead of old-style check/cancel buttons;
|
file |
diff |
annotate
|
Tue, 26 Mar 2013 14:03:31 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 26 Mar 2013 12:40:51 +0100 |
wenzelm |
mixed theory/command entries;
|
file |
diff |
annotate
|
Tue, 15 Jan 2013 12:45:19 +0100 |
wenzelm |
separate color ranges by 1px to improve discernment of overall theory status;
|
file |
diff |
annotate
|
Mon, 14 Jan 2013 23:08:40 +0100 |
wenzelm |
more prominent status ticks;
|
file |
diff |
annotate
|
Fri, 30 Nov 2012 21:47:44 +0100 |
wenzelm |
tuned labels;
|
file |
diff |
annotate
|
Fri, 30 Nov 2012 21:30:24 +0100 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
| base
|