| Thu, 26 May 2011 00:20:28 +0200 |
krauss |
adhoc event handler to insert 'sendback' text into the buffer, replacing the original command
|
file |
diff |
annotate
|
| Wed, 22 Sep 2010 16:16:23 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 18 Sep 2010 17:11:39 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 17 Sep 2010 22:17:57 +0200 |
wenzelm |
discontinued Output.debug, which belongs to early PGIP experiments (b6788dbd2ef9) and causes just too many problems (like spamming the message channel if it is used by more than one module);
|
file |
diff |
annotate
|
| Mon, 30 Aug 2010 13:01:32 +0200 |
wenzelm |
Command.results: ordered by serial number;
|
file |
diff |
annotate
|
| Thu, 12 Aug 2010 13:49:08 +0200 |
wenzelm |
specific Session.Commands_Changed;
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 23:29:17 +0200 |
wenzelm |
consider command state as part of Snapshot, not Document;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 22:09:52 +0200 |
wenzelm |
simplified type XML.Tree: embed Markup directly, avoid slightly odd triple;
|
file |
diff |
annotate
|
| Sat, 07 Aug 2010 16:15:52 +0200 |
wenzelm |
more explicit treatment of Swing thread context;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 18:00:37 +0200 |
wenzelm |
Change.Snapshot: include from_current/to_current here, with precomputed changes;
|
file |
diff |
annotate
|
| Thu, 05 Aug 2010 16:58:18 +0200 |
wenzelm |
explicit Change.Snapshot and Document.Node;
|
file |
diff |
annotate
|
| Tue, 20 Jul 2010 11:11:15 +0200 |
wenzelm |
observe follow_caret (again);
|
file |
diff |
annotate
|
| Mon, 19 Jul 2010 22:19:18 +0200 |
wenzelm |
Session: predefined real time parameters;
|
file |
diff |
annotate
|
| Fri, 11 Jun 2010 21:58:40 +0200 |
wenzelm |
tuned tooltips;
|
file |
diff |
annotate
|
| Fri, 28 May 2010 17:48:18 +0200 |
wenzelm |
reuse main view.font from jEdit;
|
file |
diff |
annotate
|
| Thu, 27 May 2010 12:35:40 +0200 |
wenzelm |
indicate prospective properties;
|
file |
diff |
annotate
|
| Thu, 27 May 2010 12:34:30 +0200 |
wenzelm |
clarified auto_update vs. update;
|
file |
diff |
annotate
|
| Thu, 27 May 2010 12:03:59 +0200 |
wenzelm |
more reactive message handling, notably for follow_caret mode;
|
file |
diff |
annotate
|
| Thu, 27 May 2010 00:47:15 +0200 |
wenzelm |
Command.toString: include id for debugging;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 22:05:41 +0200 |
wenzelm |
simplified dockables using class Dockable;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 23:19:27 +0200 |
wenzelm |
tuned zoom_box;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 20:10:45 +0200 |
wenzelm |
simplified message markup, using plain XML.Elem directly;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 15:29:20 +0200 |
wenzelm |
added checkboxes for debug/tracing filter;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 12:59:44 +0200 |
wenzelm |
added some tooltips;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 11:51:03 +0200 |
wenzelm |
HTML_Panel.handler as overridable method;
|
file |
diff |
annotate
|
| Fri, 21 May 2010 11:12:54 +0200 |
wenzelm |
component resize: full handle_resize;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 23:20:01 +0200 |
wenzelm |
zoom font size;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 21:32:48 +0200 |
wenzelm |
try CheckBox instead of ToggleButton, which is visually confusing without window focus, e.g. in a floating instance (problem of MacOS look-and-feel);
|
file |
diff |
annotate
|
| Thu, 20 May 2010 20:56:26 +0200 |
wenzelm |
handle component resize for output / HTML panel;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 13:54:31 +0200 |
wenzelm |
more systematic treatment of physical document wrt. font size etc.;
|
file |
diff |
annotate
|
| Thu, 20 May 2010 10:43:46 +0200 |
wenzelm |
explicit Command.Status.UNDEFINED -- avoid fragile/cumbersome treatment of Option[State];
|
file |
diff |
annotate
|
| Thu, 20 May 2010 10:31:20 +0200 |
wenzelm |
inverted "Freeze" to "Follow", which is the default;
|
file |
diff |
annotate
|
| Wed, 19 May 2010 21:18:02 +0200 |
wenzelm |
basic controls to freeze/update prover results;
|
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, 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
|
| Mon, 11 Jan 2010 20:51:58 +0100 |
wenzelm |
more tobust treatment of Document.current_state;
|
file |
diff |
annotate
|
| Sun, 03 Jan 2010 20:50:07 +0100 |
wenzelm |
more explicit treatment of command/document state;
|
file |
diff |
annotate
|
| Fri, 01 Jan 2010 17:29:35 +0100 |
wenzelm |
renamed current_document to recent_document (might be a bit older than current_change);
|
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:44:59 +0100 |
wenzelm |
some explicit Swing_Thread guards;
|
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 19:50:55 +0100 |
wenzelm |
split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea);
|
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 14:14:49 +0100 |
wenzelm |
basic setup for HTML_Panel event handling;
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 23:45:42 +0100 |
wenzelm |
renamed "raw output" to "protocol";
|
file |
diff |
annotate
| base
|