Thu, 02 Sep 2010 23:27:41 +0200 |
wenzelm |
added gfx_range convenience;
|
file |
diff |
annotate
|
Sun, 29 Aug 2010 22:47:36 +0200 |
wenzelm |
Isabelle/jEdit property for global tooltip dismiss delay;
|
file |
diff |
annotate
|
Sat, 28 Aug 2010 20:24:41 +0200 |
wenzelm |
more careful locking of jEdit buffer;
|
file |
diff |
annotate
|
Mon, 23 Aug 2010 17:35:47 +0200 |
wenzelm |
sporadic locking of jEdit buffer;
|
file |
diff |
annotate
|
Sat, 07 Aug 2010 14:45:26 +0200 |
wenzelm |
replaced individual Document_Model history by all-inclusive one in Session;
|
file |
diff |
annotate
|
Sat, 07 Aug 2010 13:19:48 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Sat, 26 Jun 2010 22:44:25 +0200 |
wenzelm |
refresh Isabelle token marker after buffer properties changed, e.g. when fold mode is switched;
|
file |
diff |
annotate
|
Tue, 01 Jun 2010 17:27:38 +0200 |
wenzelm |
basic support for sub/superscript token markup -- NB: need to maintain extended token types eagerly, since jEdit occasionally reinstalls a style array that is too short;
|
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
|
Fri, 28 May 2010 21:40:32 +0200 |
wenzelm |
avoid deprecated Iterator.fromArray;
|
file |
diff |
annotate
|
Fri, 28 May 2010 17:48:18 +0200 |
wenzelm |
reuse main view.font from jEdit;
|
file |
diff |
annotate
|
Sat, 22 May 2010 22:30:37 +0200 |
wenzelm |
access statically typed dockable windows;
|
file |
diff |
annotate
|
Thu, 20 May 2010 23:20:01 +0200 |
wenzelm |
zoom font size;
|
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, 30 Mar 2010 00:13:27 +0200 |
wenzelm |
adapted to Scala 2.8.0 Beta 1;
|
file |
diff |
annotate
|
Mon, 11 Jan 2010 23:00:05 +0100 |
wenzelm |
incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
|
file |
diff |
annotate
|
Sat, 09 Jan 2010 21:31:59 +0100 |
wenzelm |
removed unused var plugin;
|
file |
diff |
annotate
|
Thu, 31 Dec 2009 23:48:18 +0100 |
wenzelm |
tuned dialog;
|
file |
diff |
annotate
|
Thu, 31 Dec 2009 01:03:39 +0100 |
wenzelm |
improved dialog;
|
file |
diff |
annotate
|
Thu, 31 Dec 2009 00:38:15 +0100 |
wenzelm |
basic setup for synchronous / modal (!) prover startup;
|
file |
diff |
annotate
|
Tue, 29 Dec 2009 20:40:08 +0100 |
wenzelm |
eliminated global Session.document_0 -- did not work due to hardwired id;
|
file |
diff |
annotate
|
Wed, 16 Dec 2009 21:11:04 +0100 |
wenzelm |
explicit object Session.Global_Settings;
|
file |
diff |
annotate
|
Tue, 15 Dec 2009 20:20:07 +0100 |
wenzelm |
direct apply for Document_Model and Document_View;
|
file |
diff |
annotate
|
Tue, 15 Dec 2009 20:15:54 +0100 |
wenzelm |
need to handle EditPaneUpdate.CREATED explicitly, not included in EditPaneUpdate.BUFFER_CHANGED;
|
file |
diff |
annotate
|
Tue, 15 Dec 2009 19:50:55 +0100 |
wenzelm |
split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea);
|
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
|
Fri, 11 Dec 2009 23:29:18 +0100 |
wenzelm |
more serious command line handling;
|
file |
diff |
annotate
|
Fri, 11 Dec 2009 22:40:55 +0100 |
wenzelm |
proper uninstall;
|
file |
diff |
annotate
|
Thu, 10 Dec 2009 22:15:19 +0100 |
wenzelm |
class Session models full session, with or without prover process (cf. heaps, browser_info);
|
file |
diff |
annotate
|
Thu, 10 Dec 2009 13:47:50 +0100 |
wenzelm |
install_fonts;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 23:18:07 +0100 |
wenzelm |
proper actor wiring for raw process output;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 21:48:12 +0100 |
wenzelm |
added properties_changed event bus;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 20:13:07 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 17:56:53 +0100 |
wenzelm |
simplified register_fonts;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 16:30:20 +0100 |
wenzelm |
misc modernization of names;
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 14:49:01 +0100 |
wenzelm |
misc rearrangement of files;
|
file |
diff |
annotate
| base
|