Wed, 01 Dec 2010 21:23:21 +0100 |
wenzelm |
more abstract handling of Time properties;
|
file |
diff |
annotate
|
Wed, 01 Dec 2010 21:07:50 +0100 |
wenzelm |
store tooltip-dismiss-delay as Double(seconds);
|
file |
diff |
annotate
|
Thu, 04 Nov 2010 16:15:13 +0100 |
wenzelm |
added property "tooltip-margin";
|
file |
diff |
annotate
|
Mon, 27 Sep 2010 21:16:42 +0200 |
wenzelm |
moved "auto-start" to options panel;
|
file |
diff |
annotate
|
Sat, 18 Sep 2010 17:11:39 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 18 Sep 2010 16:05:12 +0200 |
wenzelm |
separate Isabelle.logic_selector;
|
file |
diff |
annotate
|
Sun, 29 Aug 2010 22:47:36 +0200 |
wenzelm |
Isabelle/jEdit property for global tooltip dismiss delay;
|
file |
diff |
annotate
|
Mon, 31 May 2010 09:47:41 +0200 |
wenzelm |
more flexibile font size via CSS <style> instead of old <font> element;
|
file |
diff |
annotate
|
Sun, 30 May 2010 23:42:03 +0200 |
wenzelm |
control tooltip font via Swing HTML, with tooltip-font-size property;
|
file |
diff |
annotate
|
Tue, 11 May 2010 23:36:06 +0200 |
wenzelm |
more precise pretty printing based on actual font metrics;
|
file |
diff |
annotate
|
Tue, 11 May 2010 15:47:31 +0200 |
wenzelm |
support Isabelle plugin properties with defaults;
|
file |
diff |
annotate
|
Sat, 08 May 2010 21:08:30 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
Tue, 15 Dec 2009 00:21:21 +0100 |
wenzelm |
refined treatment of default logic concerning property and GUI;
|
file |
diff |
annotate
|
Fri, 11 Dec 2009 23:38:14 +0100 |
wenzelm |
handle "default" logic;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 16:30:20 +0100 |
wenzelm |
misc modernization of names;
|
file |
diff |
annotate
| base
|