src/Tools/jEdit/src/jEdit.props
2016-09-01 wenzelm 2016-09-01 uniform capitalization of labels;
2016-09-01 wenzelm 2016-09-01 avoid conflict after initial keymap migration;
2016-09-01 wenzelm 2016-09-01 clarified important directories;
2016-08-31 wenzelm 2016-08-31 clarified (see 019856db2bb6, ea52509f4c42);
2016-08-29 wenzelm 2016-08-29 clarified default;
2016-07-12 wenzelm 2016-07-12 added action "isabelle.newline" (shortcut ENTER);
2016-06-06 wenzelm 2016-06-06 added action "isabelle.select-entity";
2016-03-18 wenzelm 2016-03-18 avoid redundant addLeftOfScrollBar;
2015-10-31 wenzelm 2015-10-31 back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider;
2015-10-30 wenzelm 2015-10-30 obsolete (see 9c6346319eee, 7924d61b50cf);
2015-10-19 wenzelm 2015-10-19 added action "isabelle-emph"; changed shortcut of action "isabelle-reset";
2015-09-21 wenzelm 2015-09-21 clarified isabelle.update-state;
2015-09-21 wenzelm 2015-09-21 separate panel for proof state output;
2015-08-10 wenzelm 2015-08-10 added action to toggle breakpoints (on editor side);
2015-08-10 wenzelm 2015-08-10 sort lines;
2015-07-17 wenzelm 2015-07-17 skeleton for interactive debugger;
2015-05-06 wenzelm 2015-05-06 less confusing default;
2015-05-06 wenzelm 2015-05-06 prevent incoherent default in SideKick 1.7;
2014-10-26 wenzelm 2014-10-26 clarified default;
2014-10-24 wenzelm 2014-10-24 more generous default;
2014-10-21 wenzelm 2014-10-21 back to alternative fold painter, despite f03a9c57760a -- gutter painter seems to have changed in the meantime;
2014-07-23 wenzelm 2014-07-23 added action "isabelle.options" (despite problems with initial window size);
2014-05-18 wenzelm 2014-05-18 clarified docking layout, amending 9c2ca698690e;
2014-05-14 wenzelm 2014-05-14 restrict default docking layout to bare minimum -- NB: Simplifier Trace still needs fine-tuning to show up on demand;
2014-05-08 wenzelm 2014-05-08 enable "PIDE" docking framework by default, and rely on its "Detach" menu item;
2014-05-07 wenzelm 2014-05-07 tuned defaults;
2014-05-06 wenzelm 2014-05-06 renamed "Find" to "Query", with more general operations;
2014-04-22 wenzelm 2014-04-22 favorites for jEdit file browser, although an expanded directory path is expected here, not environment variables;
2014-04-15 wenzelm 2014-04-15 explicit menu action to complete word;
2014-04-15 wenzelm 2014-04-15 tuned menu;
2014-04-14 wenzelm 2014-04-14 some actions to maintain spell-checker dictionary;
2014-04-07 wenzelm 2014-04-07 refrain from changing jEdit default shortcuts, due to potential for conflicts and actually not working on Mac OS X;
2014-04-04 wenzelm 2014-04-04 support for jEdit Navigator plugin;
2014-02-18 wenzelm 2014-02-18 more uniform treatment of dockables and their standard actions;
2014-02-18 wenzelm 2014-02-18 standardized action and panel names;
2014-02-04 Lars Hupel 2014-02-04 interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state
2013-12-01 wenzelm 2013-12-01 prefer isabelle application icon;
2013-11-30 wenzelm 2013-11-30 clarified view.title;
2013-11-05 wenzelm 2013-11-05 no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current;
2013-10-09 wenzelm 2013-10-09 avoid confusion of isabelle.complete vs. menu item complete-word (NB: alternative shortcuts not shown in menus);
2013-10-04 wenzelm 2013-10-04 another shortcut alias;
2013-09-26 wenzelm 2013-09-26 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);
2013-09-25 wenzelm 2013-09-25 include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
2013-09-21 wenzelm 2013-09-21 removed obsolete README; open Documentation dockable by default;
2013-08-29 wenzelm 2013-08-29 added action isabelle.complete, using standard jEdit keyboard shortcut;
2013-08-25 wenzelm 2013-08-25 some secondary shortcuts derived from 5.1.0/keymaps/German_Keyboard_keys.props (using CIRCUMFLEX instead of S+1); tuned;
2013-08-23 wenzelm 2013-08-23 added action isabelle.reset-font-size;
2013-08-17 wenzelm 2013-08-17 Sledgehammer is docked on startup;
2013-08-13 wenzelm 2013-08-13 discontinued special treatment of \<^isub> and \<^isup> in rendering or editor front-end; document antiquotations: renamed term style "isub" to "sub";
2013-08-09 wenzelm 2013-08-09 Find is docked on startup;
2013-08-09 wenzelm 2013-08-09 sorted lines;
2013-07-31 wenzelm 2013-07-31 actions and shortcuts to change node_required status, with painter that looks like CheckBox (non-clickable); just one module for Isabelle/jEdit actions;
2013-07-31 wenzelm 2013-07-31 simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
2013-07-29 wenzelm 2013-07-29 updated key bindings to execution range;
2013-06-25 wenzelm 2013-06-25 dockable window for Isabelle documentation;
2013-06-23 wenzelm 2013-06-23 clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
2013-01-28 wenzelm 2013-01-28 more portable alternative shortcuts on numeric keypad;
2013-01-10 wenzelm 2013-01-10 dock "Theories" right, although it might obscure some control buttons;
2013-01-09 wenzelm 2013-01-09 Console is not docked on startup;
2013-01-04 wenzelm 2013-01-04 more reactive completion popup by default;