| 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
|