Mon, 21 Sep 2015 14:56:55 +0200 |
wenzelm |
separate panel for proof state output;
|
file |
diff |
annotate
|
Mon, 10 Aug 2015 17:49:36 +0200 |
wenzelm |
added action to toggle breakpoints (on editor side);
|
file |
diff |
annotate
|
Mon, 10 Aug 2015 16:14:50 +0200 |
wenzelm |
sort lines;
|
file |
diff |
annotate
|
Fri, 17 Jul 2015 21:40:47 +0200 |
wenzelm |
skeleton for interactive debugger;
|
file |
diff |
annotate
|
Wed, 06 May 2015 23:11:01 +0200 |
wenzelm |
less confusing default;
|
file |
diff |
annotate
|
Wed, 06 May 2015 22:48:41 +0200 |
wenzelm |
prevent incoherent default in SideKick 1.7;
|
file |
diff |
annotate
|
Sun, 26 Oct 2014 15:57:10 +0100 |
wenzelm |
clarified default;
|
file |
diff |
annotate
|
Fri, 24 Oct 2014 11:05:19 +0200 |
wenzelm |
more generous default;
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 13:21:59 +0200 |
wenzelm |
back to alternative fold painter, despite f03a9c57760a -- gutter painter seems to have changed in the meantime;
|
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
|
Sun, 18 May 2014 00:00:26 +0200 |
wenzelm |
clarified docking layout, amending 9c2ca698690e;
|
file |
diff |
annotate
|
Wed, 14 May 2014 13:10:57 +0200 |
wenzelm |
restrict default docking layout to bare minimum -- NB: Simplifier Trace still needs fine-tuning to show up on demand;
|
file |
diff |
annotate
|
Thu, 08 May 2014 11:47:38 +0200 |
wenzelm |
enable "PIDE" docking framework by default, and rely on its "Detach" menu item;
|
file |
diff |
annotate
|
Wed, 07 May 2014 10:27:20 +0200 |
wenzelm |
tuned defaults;
|
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 12:41:34 +0200 |
wenzelm |
favorites for jEdit file browser, although an expanded directory path is expected here, not environment variables;
|
file |
diff |
annotate
|
Tue, 15 Apr 2014 11:26:17 +0200 |
wenzelm |
explicit menu action to complete word;
|
file |
diff |
annotate
|
Tue, 15 Apr 2014 00:14:57 +0200 |
wenzelm |
tuned menu;
|
file |
diff |
annotate
|
Mon, 14 Apr 2014 21:51:41 +0200 |
wenzelm |
some actions to maintain spell-checker dictionary;
|
file |
diff |
annotate
|
Mon, 07 Apr 2014 16:37:57 +0200 |
wenzelm |
refrain from changing jEdit default shortcuts, due to potential for conflicts and actually not working on Mac OS X;
|
file |
diff |
annotate
|
Fri, 04 Apr 2014 22:51:22 +0200 |
wenzelm |
support for jEdit Navigator plugin;
|
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
|
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
|
Sun, 01 Dec 2013 13:54:41 +0100 |
wenzelm |
prefer isabelle application icon;
|
file |
diff |
annotate
|
Sat, 30 Nov 2013 17:38:08 +0100 |
wenzelm |
clarified view.title;
|
file |
diff |
annotate
|
Tue, 05 Nov 2013 18:16:16 +0100 |
wenzelm |
no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;
|
file |
diff |
annotate
|
Wed, 09 Oct 2013 23:06:23 +0200 |
wenzelm |
avoid confusion of isabelle.complete vs. menu item complete-word (NB: alternative shortcuts not shown in menus);
|
file |
diff |
annotate
|
Fri, 04 Oct 2013 18:51:47 +0200 |
wenzelm |
another shortcut alias;
|
file |
diff |
annotate
|
Thu, 26 Sep 2013 21:39:10 +0200 |
wenzelm |
workaround for action-bar shortcut on Mac OS X L&F: avoid EnhancedMenuItem.setAccelerator which causes conflict with regular key handling and thus double invocation -- see also jEdit.actionContext (if actionBarVisible view.removeToolBar);
|
file |
diff |
annotate
|