| Fri, 08 May 2015 10:19:44 +0200 |
wenzelm |
more conservative Document_Model.init: avoid Document.Node.Clear due to change of token marker (e.g. due to change of jEdit mode properties);
|
file |
diff |
annotate
|
| Wed, 15 Apr 2015 13:55:01 +0200 |
wenzelm |
GUI controls for ML_statistics, for more digestible protocol dump;
|
file |
diff |
annotate
|
| Tue, 02 Dec 2014 14:16:56 +0100 |
wenzelm |
node-specific syntax, with base_syntax as default;
|
file |
diff |
annotate
|
| Mon, 01 Dec 2014 19:25:20 +0100 |
wenzelm |
clarified token marker / syntax for mode vs. buffer;
|
file |
diff |
annotate
|
| Mon, 01 Dec 2014 17:51:07 +0100 |
wenzelm |
Sidekick syntax is derived from buffer (and its mode), instead of parser name;
|
file |
diff |
annotate
|
| Mon, 01 Dec 2014 17:43:23 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 28 Oct 2014 16:27:11 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2014 15:21:44 +0200 |
wenzelm |
support for structure matching;
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 18:14:26 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 15:05:26 +0200 |
wenzelm |
maintain Document_Model.bibtex_entries;
|
file |
diff |
annotate
|
| Sat, 04 Oct 2014 12:19:26 +0200 |
wenzelm |
support for bibtex token markup;
|
file |
diff |
annotate
|
| Tue, 05 Aug 2014 12:42:38 +0200 |
wenzelm |
restrict edit_command (for sendback) to current node -- no attempt to goto target buffer first, which might not be loaded;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 23:08:22 +0200 |
wenzelm |
added action "isabelle.options" (despite problems with initial window size);
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Sat, 28 Jun 2014 17:54:34 +0200 |
wenzelm |
removed slightly odd fall-back on complete-word (NB: connection to default menu action is unclear);
|
file |
diff |
annotate
|
| Tue, 06 May 2014 16:57:17 +0200 |
wenzelm |
renamed "Find" to "Query", with more general operations;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:49:15 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2014 19:27:50 +0200 |
wenzelm |
prefer direct caret_range for update_dictionary actions, which usually happen outside the flow of editing;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2014 12:34:16 +0200 |
wenzelm |
clarified before_caret_range: prevent continuation on next line;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2014 11:26:17 +0200 |
wenzelm |
explicit menu action to complete word;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 23:26:52 +0200 |
wenzelm |
proper signature for dynamic BeanShell action;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 23:13:10 +0200 |
wenzelm |
added context menu for spell checker actions;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 22:51:23 +0200 |
wenzelm |
full repaint after dictionary update;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 21:51:41 +0200 |
wenzelm |
some actions to maintain spell-checker dictionary;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 21:08:00 +0200 |
wenzelm |
clarified Version.syntax -- avoid guessing initial situation;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 20:53:35 +0200 |
wenzelm |
more abstract Prover.Syntax, as proposed by Carst Tankink;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 16:11:00 +0100 |
wenzelm |
separate tokenization and language context for SML: no symbols, no antiquotes;
|
file |
diff |
annotate
|
| Tue, 25 Mar 2014 15:15:33 +0100 |
wenzelm |
separate "sml" mode, suppress old "ml" mode altogether;
|
file |
diff |
annotate
|
| Mon, 17 Mar 2014 10:45:29 +0100 |
wenzelm |
allow implicit semantic completion, notably after delay that exceeds usual round-trip time;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 19:55:01 +0100 |
wenzelm |
clarified module structure;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 19:39:27 +0100 |
wenzelm |
tuned signature -- separate module Font_Info;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 18:33:49 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 16:34:30 +0100 |
wenzelm |
font size change with delay, to avoid GUI lagging behind user input;
|
file |
diff |
annotate
|
| Tue, 25 Feb 2014 20:57:57 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 22 Feb 2014 15:07:33 +0100 |
wenzelm |
refined language context: antiquotes;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 13:23:49 +0100 |
wenzelm |
default completion context via outer syntax;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 20:20:42 +0100 |
wenzelm |
more uniform treatment of dockables and their standard actions;
|
file |
diff |
annotate
|
| Tue, 18 Feb 2014 19:00:13 +0100 |
wenzelm |
standardized action and panel names;
|
file |
diff |
annotate
|
| Sat, 15 Feb 2014 16:27:58 +0100 |
wenzelm |
isabelle-ml mode with separate token marker;
|
file |
diff |
annotate
|
| Tue, 04 Feb 2014 09:04:59 +0000 |
Lars Hupel |
interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
|
file |
diff |
annotate
|
| Thu, 21 Nov 2013 21:55:29 +0100 |
wenzelm |
back to Status.FINISHED and immediate remove_overlay (reverting 6e69f9ca8f1c), which is important to avoid restart of print function after edits + re-assignment of located command;
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 16:06:12 +0200 |
wenzelm |
clarified command spans (again, see also 03a2dc9e0624): restrict to proper range to allow Isabelle.command_edit adding material monotonically without destroying the command (e.g. relevant for sendback from sledgehammer);
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 20:09:26 +0200 |
wenzelm |
added option "jedit_auto_load";
|
file |
diff |
annotate
|
| Tue, 10 Sep 2013 11:46:51 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Fri, 30 Aug 2013 12:44:39 +0200 |
wenzelm |
allow short words for explicit completion;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 21:49:46 +0200 |
wenzelm |
added action isabelle.complete, using standard jEdit keyboard shortcut;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 15:53:56 +0200 |
wenzelm |
clarified SideKick parser name, which serves as quasi "mode" here;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 15:48:37 +0200 |
wenzelm |
explicit indication of outer syntax with no tokens;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 13:53:45 +0200 |
wenzelm |
more uniform configuration of editor modes and token markers;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 13:14:00 +0200 |
wenzelm |
syntax for isabelle-news with symbol completion;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 12:38:33 +0200 |
wenzelm |
maintain Completion_Popup.Text_Area as client property like Document_View;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 10:01:59 +0200 |
wenzelm |
more abstract Completion_Popup.Text_Area;
|
file |
diff |
annotate
|
| Fri, 23 Aug 2013 11:41:17 +0200 |
wenzelm |
added action isabelle.reset-font-size;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2013 20:34:46 +0200 |
wenzelm |
discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
|
file |
diff |
annotate
|
| Mon, 12 Aug 2013 12:06:48 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 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
|