Sat, 15 Jan 2011 00:06:01 +0100 |
wenzelm |
increased startup-timeout to accommodate slow systems (especially Windows/Cygwin);
|
file |
diff |
annotate
|
Wed, 01 Dec 2010 21:07:50 +0100 |
wenzelm |
store tooltip-dismiss-delay as Double(seconds);
|
file |
diff |
annotate
|
Wed, 01 Dec 2010 20:34:40 +0100 |
wenzelm |
more abstract/uniform handling of time, preferring seconds as Double;
|
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, 25 Sep 2010 17:28:41 +0200 |
wenzelm |
Session_Dockable: more startup controls;
|
file |
diff |
annotate
|
Thu, 23 Sep 2010 18:44:26 +0200 |
wenzelm |
explicit Session.Phase indication with associated event bus;
|
file |
diff |
annotate
|
Wed, 22 Sep 2010 20:50:25 +0200 |
wenzelm |
tuned panel names and actions;
|
file |
diff |
annotate
|
Sat, 18 Sep 2010 14:28:42 +0200 |
wenzelm |
basic setup for prover session panel;
|
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
|
Sat, 22 May 2010 20:59:55 +0200 |
wenzelm |
separate event bus and dockable for raw output (stdout);
|
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
|
Tue, 12 Jan 2010 14:57:29 +0100 |
wenzelm |
updated version and dependencies;
|
file |
diff |
annotate
|
Thu, 31 Dec 2009 00:38:15 +0100 |
wenzelm |
basic setup for synchronous / modal (!) prover startup;
|
file |
diff |
annotate
|
Wed, 30 Dec 2009 18:22:10 +0100 |
wenzelm |
removed experimental history panel;
|
file |
diff |
annotate
|
Wed, 23 Dec 2009 20:17:02 +0100 |
wenzelm |
back to activate=startup (again) -- ensure that Isabelle_Encoding refers to valid Isabelle.system;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 23:45:42 +0100 |
wenzelm |
renamed "raw output" to "protocol";
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 16:30:20 +0100 |
wenzelm |
misc modernization of names;
|
file |
diff |
annotate
|
Mon, 07 Dec 2009 22:41:32 +0100 |
wenzelm |
misc updates;
|
file |
diff |
annotate
|
Sun, 13 Sep 2009 23:03:55 +0200 |
wenzelm |
regular activate=defer -- may debug remotely, no need to run under netbeans;
|
file |
diff |
annotate
|
Wed, 08 Jul 2009 15:15:13 +0200 |
immler |
gui element to set current document version
|
file |
diff |
annotate
|
Thu, 25 Jun 2009 21:14:10 +0200 |
wenzelm |
simplified option pane: proper logic title, hardwired font path;
|
file |
diff |
annotate
|
Sat, 23 May 2009 14:26:51 +0200 |
wenzelm |
recovered iso-latin-1 text;
|
file |
diff |
annotate
|
Fri, 22 May 2009 14:47:57 +0200 |
immler |
implemented IsabelleHyperlinkSource (only links inside the current buffer)
|
file |
diff |
annotate
|
Fri, 22 May 2009 13:43:35 +0200 |
immler |
added hyperlink plugin
|
file |
diff |
annotate
|
Sat, 28 Mar 2009 15:40:47 +0100 |
immler |
when jEdit is run from Netbeans, activate=defer does not work (why?)
|
file |
diff |
annotate
|
Mon, 23 Mar 2009 21:32:14 +0100 |
immler |
merged: resolved conflicts with Markups: ML-syntax styles in styles.props
|
file |
diff |
annotate
|
Fri, 20 Mar 2009 21:31:45 +0100 |
wenzelm |
recovered activate=defer, which is the "new" way to invoke jEdit plugins (cf. 3fbb7b565013);
|
file |
diff |
annotate
|
Sun, 01 Feb 2009 12:50:21 +0100 |
immler |
modified netbeans build such that dist can be used as settings-directory for jedit;
|
file |
diff |
annotate
|
Sat, 20 Dec 2008 18:25:15 +0100 |
wenzelm |
tuned order of menu items;
|
file |
diff |
annotate
|
Sat, 20 Dec 2008 17:14:27 +0100 |
wenzelm |
added author field;
|
file |
diff |
annotate
|
Sat, 20 Dec 2008 16:07:51 +0100 |
wenzelm |
regular plugin activation via "defer";
|
file |
diff |
annotate
|
Sat, 20 Dec 2008 14:48:10 +0100 |
wenzelm |
renamed IsabellePlugin to Isabelle;
|
file |
diff |
annotate
| base
|