| Wed, 16 Dec 2020 13:47:33 +0100 |
wenzelm |
added action isabelle.goto-entity to follow links in a narrow formal sense;
|
file |
diff |
annotate
|
| Fri, 11 Sep 2020 12:56:01 +0200 |
wenzelm |
more uniform color --- avoid odd transparency on Windows (due to jEdit default #666699a);
|
file |
diff |
annotate
|
| Thu, 10 Sep 2020 21:07:58 +0200 |
wenzelm |
more uniform JVM vs. ML status widget;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2020 19:34:38 +0200 |
wenzelm |
ML status widget similar to org.gjt.sp.jedit.gui.statusbar.MemoryStatusWidgetFactory;
|
file |
diff |
annotate
|
| Fri, 20 Mar 2020 11:35:33 +0100 |
wenzelm |
prefer subpixel antialiasing by default: rendering of text is usually much faster, notably on Linux (see also 093ab1a99eb6 and f610115ca3d0);
|
file |
diff |
annotate
|
| Thu, 12 Mar 2020 21:02:05 +0100 |
wenzelm |
more explicit defaults;
|
file |
diff |
annotate
|
| Fri, 06 Mar 2020 22:01:28 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 06 Mar 2020 20:18:21 +0100 |
wenzelm |
support Java/VM monitoring via jconsole;
|
file |
diff |
annotate
|
| Tue, 03 Mar 2020 15:51:57 +0100 |
wenzelm |
avoid conflict with isabelle.next-error, resulting in odd startup dialog;
|
file |
diff |
annotate
|
| Sun, 01 Mar 2020 21:52:21 +0100 |
wenzelm |
more Isabelle/jEdit actions;
|
file |
diff |
annotate
|
| Sat, 29 Feb 2020 17:16:17 +0100 |
wenzelm |
more Isabelle/jEdit actions;
|
file |
diff |
annotate
|
| Thu, 11 Apr 2019 14:22:52 +0200 |
wenzelm |
allow faster navigation of directory hierarchy (reverting 69465c3e3560);
|
file |
diff |
annotate
|
| Tue, 09 Apr 2019 10:28:17 +0200 |
wenzelm |
back to more robust "standard" anti-aliasing (reverting f610115ca3d0): sub-pixel rendering can have odd color effects, even on high-end displays;
|
file |
diff |
annotate
|
| Sun, 07 Apr 2019 16:04:08 +0200 |
wenzelm |
better accessibility of directory content by typing name prefix;
|
file |
diff |
annotate
|
| Fri, 01 Mar 2019 17:00:55 +0100 |
wenzelm |
more implicit reload, similar to VSCode;
|
file |
diff |
annotate
|
| Wed, 27 Feb 2019 22:08:07 +0100 |
wenzelm |
more line spacing, notably for ttfautohint (see 4791988fcbc4);
|
file |
diff |
annotate
|
| Sun, 10 Feb 2019 19:07:53 +0100 |
wenzelm |
enable subpixel anti-aliasing by default, assuming that its 4 variants don't make a difference;
|
file |
diff |
annotate
|
| Fri, 01 Feb 2019 15:02:36 +0100 |
wenzelm |
clarified default (amending ca9780325a21): it also affects "open-file" dialog, which should be "buffer";
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 16:56:31 +0100 |
wenzelm |
adapted to a8ee66876a1a;
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 16:53:15 +0100 |
wenzelm |
show file-browser favorites more prominently: access to Isabelle resources;
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 16:45:24 +0100 |
wenzelm |
tuned -- sort lines;
|
file |
diff |
annotate
|
| Thu, 31 Jan 2019 16:33:57 +0100 |
wenzelm |
clarified default layout: global overview left, local document information right;
|
file |
diff |
annotate
|
| Wed, 30 Jan 2019 16:44:29 +0100 |
wenzelm |
support for session information via virtual file-system;
|
file |
diff |
annotate
|
| Mon, 14 Jan 2019 14:03:02 +0100 |
wenzelm |
more favorites;
|
file |
diff |
annotate
|
| Sun, 13 Jan 2019 16:57:25 +0100 |
wenzelm |
File Browser is open by default;
|
file |
diff |
annotate
|
| Sun, 13 Jan 2019 13:33:23 +0100 |
wenzelm |
added action "isabelle-export-browser";
|
file |
diff |
annotate
|
| Sat, 24 Nov 2018 18:56:44 +0100 |
wenzelm |
use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
|
file |
diff |
annotate
|
| Fri, 04 May 2018 16:22:09 +0200 |
wenzelm |
set view title dynamically;
|
file |
diff |
annotate
|
| Wed, 02 May 2018 19:18:29 +0200 |
wenzelm |
clarified menu actions;
|
file |
diff |
annotate
|
| Sat, 17 Feb 2018 19:37:18 +0100 |
wenzelm |
avoid conflict with Isabelle/jEdit completion of '>', e.g. "-->", "==>";
|
file |
diff |
annotate
|
| Mon, 04 Dec 2017 22:56:46 +0100 |
wenzelm |
added action to make antiquoted cartouche;
|
file |
diff |
annotate
|
| Thu, 08 Jun 2017 12:25:59 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2016 20:14:29 +0200 |
wenzelm |
uniform capitalization of labels;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2016 17:46:49 +0200 |
wenzelm |
avoid conflict after initial keymap migration;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2016 15:29:08 +0200 |
wenzelm |
clarified important directories;
|
file |
diff |
annotate
|
| Wed, 31 Aug 2016 10:49:30 +0200 |
wenzelm |
clarified (see 019856db2bb6, ea52509f4c42);
|
file |
diff |
annotate
|
| Mon, 29 Aug 2016 21:46:24 +0200 |
wenzelm |
clarified default;
|
file |
diff |
annotate
|
| Tue, 12 Jul 2016 11:51:05 +0200 |
wenzelm |
added action "isabelle.newline" (shortcut ENTER);
|
file |
diff |
annotate
|
| Mon, 06 Jun 2016 16:04:26 +0200 |
wenzelm |
added action "isabelle.select-entity";
|
file |
diff |
annotate
|
| Fri, 18 Mar 2016 22:00:26 +0100 |
wenzelm |
avoid redundant addLeftOfScrollBar;
|
file |
diff |
annotate
|
| Sat, 31 Oct 2015 14:38:48 +0100 |
wenzelm |
back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider;
|
file |
diff |
annotate
|
| Fri, 30 Oct 2015 16:31:37 +0100 |
wenzelm |
obsolete (see 9c6346319eee, 7924d61b50cf);
|
file |
diff |
annotate
|
| Mon, 19 Oct 2015 16:37:45 +0200 |
wenzelm |
added action "isabelle-emph";
|
file |
diff |
annotate
|
| Mon, 21 Sep 2015 20:21:29 +0200 |
wenzelm |
clarified isabelle.update-state;
|
file |
diff |
annotate
|
| 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
|