| 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
|
| Wed, 25 Sep 2013 15:40:34 +0200 |
wenzelm |
include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
|
file |
diff |
annotate
|
| Sat, 21 Sep 2013 16:44:31 +0200 |
wenzelm |
removed obsolete README;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 21:49:46 +0200 |
wenzelm |
added action isabelle.complete, using standard jEdit keyboard shortcut;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Fri, 23 Aug 2013 11:41:17 +0200 |
wenzelm |
added action isabelle.reset-font-size;
|
file |
diff |
annotate
|
| Sat, 17 Aug 2013 22:58:48 +0200 |
wenzelm |
Sledgehammer is docked on startup;
|
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
|
| Fri, 09 Aug 2013 20:30:11 +0200 |
wenzelm |
Find is docked on startup;
|
file |
diff |
annotate
|
| Fri, 09 Aug 2013 20:26:54 +0200 |
wenzelm |
sorted lines;
|
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
|
| Wed, 31 Jul 2013 10:54:37 +0200 |
wenzelm |
simplified flag for continuous checking: avoid GUI complexity and slow checking of all theories (including prints);
|
file |
diff |
annotate
|
| Mon, 29 Jul 2013 20:34:53 +0200 |
wenzelm |
updated key bindings to execution range;
|
file |
diff |
annotate
|
| Tue, 25 Jun 2013 16:55:10 +0200 |
wenzelm |
dockable window for Isabelle documentation;
|
file |
diff |
annotate
|
| Sun, 23 Jun 2013 20:26:31 +0200 |
wenzelm |
clones of increase-font-size / decrease-font-size to allow two further shortcuts for various keyboard layouts;
|
file |
diff |
annotate
|
| Mon, 28 Jan 2013 22:37:58 +0100 |
wenzelm |
more portable alternative shortcuts on numeric keypad;
|
file |
diff |
annotate
|
| Thu, 10 Jan 2013 13:15:05 +0100 |
wenzelm |
dock "Theories" right, although it might obscure some control buttons;
|
file |
diff |
annotate
|
| Wed, 09 Jan 2013 22:24:31 +0100 |
wenzelm |
Console is not docked on startup;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2013 21:16:08 +0100 |
wenzelm |
more reactive completion popup by default;
|
file |
diff |
annotate
|
| Fri, 04 Jan 2013 20:42:09 +0100 |
wenzelm |
updated to jedit_build-20130104;
|
file |
diff |
annotate
|
| Thu, 13 Dec 2012 20:39:07 +0100 |
wenzelm |
odd bias of sub/superscript keyboard shortcuts -- according to frequency of use;
|
file |
diff |
annotate
|
| Wed, 12 Dec 2012 16:28:18 +0100 |
wenzelm |
prevent dedicated MacOSX plugin from switching off vital workarounds;
|
file |
diff |
annotate
|
| Tue, 04 Dec 2012 22:14:59 +0100 |
wenzelm |
proper action labels, to make this appear in the "Shortcuts" panel, for example;
|
file |
diff |
annotate
|
| Mon, 03 Dec 2012 17:08:39 +0100 |
wenzelm |
avoid odd warnings due to failure of systray icon;
|
file |
diff |
annotate
|
| Sat, 01 Dec 2012 22:42:54 +0100 |
wenzelm |
moved isabelle shortcuts to main jEdit.props, in order to have them migrated to the "imported" keymap;
|
file |
diff |
annotate
|
| Sat, 01 Dec 2012 19:51:43 +0100 |
wenzelm |
updated to jedit-5.0.0;
|
file |
diff |
annotate
|
| Fri, 30 Nov 2012 21:30:24 +0100 |
wenzelm |
renamed dockable "Prover Session" to "Theories";
|
file |
diff |
annotate
|
| Wed, 21 Nov 2012 14:07:35 +0100 |
wenzelm |
enable Symbols dockable by default;
|
file |
diff |
annotate
|
| Tue, 07 Aug 2012 21:38:24 +0200 |
wenzelm |
clarified Sidekick configuration, including minor modes;
|
file |
diff |
annotate
|
| Tue, 29 May 2012 16:39:42 +0200 |
wenzelm |
separate README dockable, which allows to make it more prominent first and remove it later;
|
file |
diff |
annotate
|
| Thu, 19 Apr 2012 21:53:24 +0200 |
wenzelm |
some sidekick options for more advanced completion;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 22:06:05 +0200 |
wenzelm |
simplified directory structure;
|
file |
diff |
annotate
| base
|