| Wed, 19 Aug 2015 15:40:59 +0200 |
wenzelm |
disabled auto resolve, until practical consequences are more clear;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2015 13:53:51 +0200 |
wenzelm |
resolve undefined blobs by default, e.g. relevant for ML debugger to avoid reset of breakpoints after reload;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2015 02:40:39 +0200 |
wenzelm |
tuned colors;
|
file |
diff |
annotate
|
| Wed, 12 Aug 2015 02:21:00 +0200 |
wenzelm |
clarified breakpoint rendering;
|
file |
diff |
annotate
|
| Mon, 10 Aug 2015 20:25:04 +0200 |
wenzelm |
tuned rendering;
|
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:05:41 +0200 |
wenzelm |
rendering for debugger/breakpoint active state;
|
file |
diff |
annotate
|
| Thu, 19 Mar 2015 15:24:40 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 05 Jan 2015 14:13:38 +0100 |
wenzelm |
GUI.imitate_font: more explicit result size, e.g. relevant for caching;
|
file |
diff |
annotate
|
| Tue, 30 Dec 2014 23:45:03 +0100 |
wenzelm |
explicit message channel for "legacy", which is nonetheless a variant of "warning";
|
file |
diff |
annotate
|
| Tue, 23 Dec 2014 20:46:42 +0100 |
wenzelm |
explicit message channels for "state", "information";
|
file |
diff |
annotate
|
| Wed, 10 Dec 2014 20:51:27 +0100 |
wenzelm |
more informative gutter content: fall-back on background color, e.g. when line numbers are enabled;
|
file |
diff |
annotate
|
| Tue, 09 Dec 2014 19:52:26 +0100 |
wenzelm |
proper alt_string markup (cf. 2ceb05ee0331);
|
file |
diff |
annotate
|
| Tue, 21 Oct 2014 19:20:48 +0200 |
wenzelm |
added option jedit_structure_limit;
|
file |
diff |
annotate
|
| Thu, 31 Jul 2014 21:29:31 +0200 |
wenzelm |
completion popup supports both ENTER and TAB (default);
|
file |
diff |
annotate
|
| Sat, 28 Jun 2014 18:02:33 +0200 |
wenzelm |
jedit_completion_immediate is enabled by default: let all users participate in slightly more ambitious symbol insertion;
|
file |
diff |
annotate
|
| Tue, 06 May 2014 21:29:17 +0200 |
wenzelm |
common support for search field, which is actually a light-weight Highlighter;
|
file |
diff |
annotate
|
| Tue, 06 May 2014 16:08:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 03 May 2014 22:47:43 +0200 |
wenzelm |
support for path completion based on file-system content;
|
file |
diff |
annotate
|
| Sat, 03 May 2014 20:31:29 +0200 |
wenzelm |
yet another completion option, to imitate old less ambitious behavior;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2014 22:19:07 +0200 |
wenzelm |
tuned default: melange of all "en" dialects;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 09:28:42 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 14 Apr 2014 09:24:47 +0200 |
wenzelm |
eliminated somewhat pointless locale parameter;
|
file |
diff |
annotate
|
| Sun, 13 Apr 2014 16:42:44 +0200 |
wenzelm |
added dictionaries_selector GUI;
|
file |
diff |
annotate
|
| Sat, 12 Apr 2014 21:58:58 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sat, 12 Apr 2014 21:44:38 +0200 |
wenzelm |
more spell_checker_elements;
|
file |
diff |
annotate
|
| Sat, 12 Apr 2014 21:00:04 +0200 |
wenzelm |
more general spell_checker_elements;
|
file |
diff |
annotate
|
| Sat, 12 Apr 2014 20:49:57 +0200 |
wenzelm |
added spell-checker options;
|
file |
diff |
annotate
|
| Sun, 30 Mar 2014 21:03:40 +0200 |
wenzelm |
immediate completion even with delay, which is the default according to 638b29331549;
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 12:25:17 +0100 |
wenzelm |
more markup for improper elements;
|
file |
diff |
annotate
|
| Mon, 17 Mar 2014 23:16:26 +0100 |
wenzelm |
back to KeyEventInterceptor (see 423e29f1f304), but without focus change, which helps to avoid loosing key events due to quick opening and closing of popups;
|
file |
diff |
annotate
|
| Mon, 17 Mar 2014 10:45:29 +0100 |
wenzelm |
allow implicit semantic completion, notably after delay that exceeds usual round-trip time;
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 16:43:17 +0100 |
wenzelm |
clarified Markup.operator vs. Markup.delimiter;
|
file |
diff |
annotate
|
| Wed, 05 Mar 2014 19:57:41 +0100 |
wenzelm |
tuned color (cf. jEdit FUNCTION);
|
file |
diff |
annotate
|
| Wed, 05 Mar 2014 16:13:24 +0100 |
wenzelm |
more explicit quasi_keyword markup, for Args.$$$ material, which is somewhere in between of outer and inner syntax;
|
file |
diff |
annotate
|
| Thu, 27 Feb 2014 17:56:59 +0100 |
wenzelm |
simplified rendering -- no need to over-emphasize "token_range";
|
file |
diff |
annotate
|
| Tue, 25 Feb 2014 20:15:47 +0100 |
wenzelm |
more completion rendering: active, semantic, syntactic;
|
file |
diff |
annotate
|
| Mon, 24 Feb 2014 19:33:39 +0100 |
wenzelm |
tuned colors;
|
file |
diff |
annotate
|
| Mon, 24 Feb 2014 12:51:55 +0100 |
wenzelm |
clarified painting of invisible caret, e.g. focus change due to popup;
|
file |
diff |
annotate
|
| Mon, 17 Feb 2014 11:14:26 +0100 |
wenzelm |
more markup;
|
file |
diff |
annotate
|
| Sat, 15 Feb 2014 18:28:18 +0100 |
wenzelm |
more uniform ML keyword markup;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 19:15:12 +0100 |
wenzelm |
support for nested text cartouches;
|
file |
diff |
annotate
|
| Mon, 30 Dec 2013 20:35:17 +0100 |
wenzelm |
added system option "jedit_print_mode";
|
file |
diff |
annotate
|
| Fri, 08 Nov 2013 17:34:37 +0100 |
wenzelm |
added jedit_completion_dismiss_delay for hide_popup, which helps to avoid loosing key events on old popup (no change of default behavior);
|
file |
diff |
annotate
|
| Thu, 26 Sep 2013 13:28:26 +0200 |
wenzelm |
obsolete (see also 48d13465c7c7);
|
file |
diff |
annotate
|
| Wed, 25 Sep 2013 16:05:40 +0200 |
wenzelm |
bypass Isabelle OSX_Adapter for now -- MacOSX plugin 1.3 manages that better;
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 20:09:26 +0200 |
wenzelm |
added option "jedit_auto_load";
|
file |
diff |
annotate
|
| Sat, 14 Sep 2013 22:50:15 +0200 |
wenzelm |
tuned magic number, for improved reactivity on old 2-core machine;
|
file |
diff |
annotate
|
| Mon, 09 Sep 2013 16:15:48 +0200 |
wenzelm |
more robust Mac OS X application support;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 21:53:29 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 21:17:46 +0200 |
wenzelm |
option to insert unique completion immediately into buffer;
|
file |
diff |
annotate
|
| Thu, 29 Aug 2013 10:24:43 +0200 |
wenzelm |
some completion options;
|
file |
diff |
annotate
|
| Tue, 27 Aug 2013 16:09:28 +0200 |
wenzelm |
determine completion geometry like tooltip;
|
file |
diff |
annotate
|
| Tue, 27 Aug 2013 15:35:51 +0200 |
wenzelm |
explicit "hidden" operation with focus management;
|
file |
diff |
annotate
|
| Fri, 23 Aug 2013 11:41:17 +0200 |
wenzelm |
added action isabelle.reset-font-size;
|
file |
diff |
annotate
|
| Mon, 05 Aug 2013 23:57:29 +0200 |
wenzelm |
query process animation;
|
file |
diff |
annotate
|
| Sat, 13 Jul 2013 18:13:09 +0200 |
wenzelm |
more rendering for information messages;
|
file |
diff |
annotate
|
| Sat, 13 Jul 2013 13:58:13 +0200 |
wenzelm |
gutter icon for information messages;
|
file |
diff |
annotate
|
| Sat, 13 Jul 2013 13:25:42 +0200 |
wenzelm |
more explicit Markup.information for messages produced by "auto" tools;
|
file |
diff |
annotate
|
| Wed, 10 Jul 2013 20:16:04 +0200 |
wenzelm |
less intrusive token_range rendering, which is relevant for inner parse errors;
|
file |
diff |
annotate
|