| 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
|
| Tue, 26 Mar 2013 11:26:13 +0100 |
wenzelm |
dockable window for timing information;
|
file |
diff |
annotate
|
| Tue, 08 Jan 2013 18:24:52 +0100 |
wenzelm |
upper bound for font size;
|
file |
diff |
annotate
|
| Sat, 08 Dec 2012 22:19:24 +0100 |
wenzelm |
basic monitor panel, using the powerful jfreechart library;
|
file |
diff |
annotate
|
| Tue, 04 Dec 2012 11:06:51 +0100 |
wenzelm |
provide general insert_line_padding as convenience operation, e.g. for BeanShell macros;
|
file |
diff |
annotate
|
| Fri, 30 Nov 2012 21:30:24 +0100 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 21:40:34 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 21:35:29 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
| base
|