src/Tools/jEdit/src/jEdit.props
Sun, 13 Jan 2019 16:57:25 +0100 wenzelm File Browser is open by default;
Sun, 13 Jan 2019 13:33:23 +0100 wenzelm added action "isabelle-export-browser";
Sat, 24 Nov 2018 18:56:44 +0100 wenzelm use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
Fri, 04 May 2018 16:22:09 +0200 wenzelm set view title dynamically;
Wed, 02 May 2018 19:18:29 +0200 wenzelm clarified menu actions;
Sat, 17 Feb 2018 19:37:18 +0100 wenzelm avoid conflict with Isabelle/jEdit completion of '>', e.g. "-->", "==>";
Mon, 04 Dec 2017 22:56:46 +0100 wenzelm added action to make antiquoted cartouche;
Thu, 08 Jun 2017 12:25:59 +0200 wenzelm clarified;
Thu, 01 Sep 2016 20:14:29 +0200 wenzelm uniform capitalization of labels;
Thu, 01 Sep 2016 17:46:49 +0200 wenzelm avoid conflict after initial keymap migration;
Thu, 01 Sep 2016 15:29:08 +0200 wenzelm clarified important directories;
Wed, 31 Aug 2016 10:49:30 +0200 wenzelm clarified (see 019856db2bb6, ea52509f4c42);
Mon, 29 Aug 2016 21:46:24 +0200 wenzelm clarified default;
Tue, 12 Jul 2016 11:51:05 +0200 wenzelm added action "isabelle.newline" (shortcut ENTER);
Mon, 06 Jun 2016 16:04:26 +0200 wenzelm added action "isabelle.select-entity";
Fri, 18 Mar 2016 22:00:26 +0100 wenzelm avoid redundant addLeftOfScrollBar;
Sat, 31 Oct 2015 14:38:48 +0100 wenzelm back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider;
Fri, 30 Oct 2015 16:31:37 +0100 wenzelm obsolete (see 9c6346319eee, 7924d61b50cf);
Mon, 19 Oct 2015 16:37:45 +0200 wenzelm added action "isabelle-emph";
Mon, 21 Sep 2015 20:21:29 +0200 wenzelm clarified isabelle.update-state;
Mon, 21 Sep 2015 14:56:55 +0200 wenzelm separate panel for proof state output;
Mon, 10 Aug 2015 17:49:36 +0200 wenzelm added action to toggle breakpoints (on editor side);
Mon, 10 Aug 2015 16:14:50 +0200 wenzelm sort lines;
Fri, 17 Jul 2015 21:40:47 +0200 wenzelm skeleton for interactive debugger;
Wed, 06 May 2015 23:11:01 +0200 wenzelm less confusing default;
Wed, 06 May 2015 22:48:41 +0200 wenzelm prevent incoherent default in SideKick 1.7;
Sun, 26 Oct 2014 15:57:10 +0100 wenzelm clarified default;
Fri, 24 Oct 2014 11:05:19 +0200 wenzelm more generous default;
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;
Wed, 23 Jul 2014 23:08:22 +0200 wenzelm added action "isabelle.options" (despite problems with initial window size);
Sun, 18 May 2014 00:00:26 +0200 wenzelm clarified docking layout, amending 9c2ca698690e;
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;
Thu, 08 May 2014 11:47:38 +0200 wenzelm enable "PIDE" docking framework by default, and rely on its "Detach" menu item;
Wed, 07 May 2014 10:27:20 +0200 wenzelm tuned defaults;
Tue, 06 May 2014 16:57:17 +0200 wenzelm renamed "Find" to "Query", with more general operations;
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;
Tue, 15 Apr 2014 11:26:17 +0200 wenzelm explicit menu action to complete word;
Tue, 15 Apr 2014 00:14:57 +0200 wenzelm tuned menu;
Mon, 14 Apr 2014 21:51:41 +0200 wenzelm some actions to maintain spell-checker dictionary;
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;
Fri, 04 Apr 2014 22:51:22 +0200 wenzelm support for jEdit Navigator plugin;
Tue, 18 Feb 2014 20:20:42 +0100 wenzelm more uniform treatment of dockables and their standard actions;
Tue, 18 Feb 2014 19:00:13 +0100 wenzelm standardized action and panel names;
Tue, 04 Feb 2014 09:04:59 +0000 Lars Hupel interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
Sun, 01 Dec 2013 13:54:41 +0100 wenzelm prefer isabelle application icon;
Sat, 30 Nov 2013 17:38:08 +0100 wenzelm clarified view.title;
Tue, 05 Nov 2013 18:16:16 +0100 wenzelm no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;
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);
Fri, 04 Oct 2013 18:51:47 +0200 wenzelm another shortcut alias;
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);
Wed, 25 Sep 2013 15:40:34 +0200 wenzelm include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
Sat, 21 Sep 2013 16:44:31 +0200 wenzelm removed obsolete README;
Thu, 29 Aug 2013 21:49:46 +0200 wenzelm added action isabelle.complete, using standard jEdit keyboard shortcut;
Sun, 25 Aug 2013 14:35:25 +0200 wenzelm some secondary shortcuts derived from 5.1.0/keymaps/German_Keyboard_keys.props (using CIRCUMFLEX instead of S+1);
Fri, 23 Aug 2013 11:41:17 +0200 wenzelm added action isabelle.reset-font-size;
Sat, 17 Aug 2013 22:58:48 +0200 wenzelm Sledgehammer is docked on startup;
Tue, 13 Aug 2013 20:34:46 +0200 wenzelm discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end;
Fri, 09 Aug 2013 20:30:11 +0200 wenzelm Find is docked on startup;
Fri, 09 Aug 2013 20:26:54 +0200 wenzelm sorted lines;
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);
less more (0) -60 tip