src/Tools/jEdit/src/token_markup.scala
Sat, 26 Jun 2021 15:52:16 +0200 wenzelm tuned;
Sun, 02 May 2021 21:46:59 +0200 wenzelm more robust indentation: proper line context after insert;
Sun, 02 May 2021 20:51:21 +0200 wenzelm more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName();
Wed, 03 Mar 2021 21:19:36 +0100 wenzelm tuned --- fewer warnings;
Mon, 01 Mar 2021 23:17:47 +0100 wenzelm tuned --- fewer warnings;
Mon, 01 Mar 2021 22:22:12 +0100 wenzelm tuned --- fewer warnings;
Mon, 01 Mar 2021 19:41:52 +0100 wenzelm tuned --- fewer warnings;
Thu, 11 Jun 2020 14:13:04 +0200 wenzelm proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310;
Wed, 22 Apr 2020 18:16:48 +0200 wenzelm avoid deprecated operations;
Mon, 04 Dec 2017 16:28:06 +0100 wenzelm tuned;
Mon, 06 Nov 2017 16:03:13 +0100 wenzelm tuned signature;
Fri, 23 Jun 2017 14:38:32 +0200 wenzelm tuned signature;
Wed, 15 Mar 2017 13:49:39 +0100 wenzelm clarified modules;
Wed, 15 Mar 2017 13:35:14 +0100 wenzelm clarified modules;
Tue, 20 Dec 2016 21:35:56 +0100 wenzelm clarified module name;
Thu, 04 Aug 2016 10:55:51 +0200 wenzelm clarified modules;
Tue, 12 Jul 2016 11:12:07 +0200 wenzelm tuned signature;
Mon, 11 Jul 2016 17:45:51 +0200 wenzelm support more modes;
Mon, 11 Jul 2016 16:36:29 +0200 wenzelm explicit kind "before_command";
Thu, 07 Jul 2016 20:54:41 +0200 wenzelm clarified modules;
Thu, 07 Jul 2016 12:08:00 +0200 wenzelm basic setup for indentation;
Fri, 08 Jan 2016 18:18:40 +0100 wenzelm clarified symbol insertion, depending on buffer encoding;
Sat, 19 Sep 2015 19:34:51 +0200 wenzelm tuned signature;
Sun, 03 May 2015 14:12:10 +0200 wenzelm tuned message;
Mon, 06 Apr 2015 22:11:01 +0200 wenzelm support for 'restricted' modifier: only qualified accesses outside the local scope;
Sat, 04 Apr 2015 21:21:40 +0200 wenzelm more general notion of command span: command keyword not necessarily at start;
Mon, 05 Jan 2015 14:13:38 +0100 wenzelm GUI.imitate_font: more explicit result size, e.g. relevant for caching;
Thu, 01 Jan 2015 17:27:52 +0100 wenzelm tuned signature;
Wed, 03 Dec 2014 14:04:38 +0100 wenzelm tuned signature;
Tue, 02 Dec 2014 16:40:11 +0100 wenzelm tuned signature -- more explicit types;
Tue, 02 Dec 2014 14:16:56 +0100 wenzelm node-specific syntax, with base_syntax as default;
Mon, 01 Dec 2014 19:25:20 +0100 wenzelm clarified token marker / syntax for mode vs. buffer;
Sat, 29 Nov 2014 14:43:10 +0100 wenzelm encode text with control symbols;
Wed, 29 Oct 2014 09:42:46 +0100 wenzelm more iterators;
Tue, 28 Oct 2014 16:19:04 +0100 wenzelm find command span in buffer;
Tue, 21 Oct 2014 19:20:48 +0200 wenzelm added option jedit_structure_limit;
Tue, 21 Oct 2014 17:49:51 +0200 wenzelm some structure matching, based on line token iterators;
Tue, 21 Oct 2014 15:21:44 +0200 wenzelm support for structure matching;
Sat, 18 Oct 2014 21:26:01 +0200 wenzelm make double-sure that line context is present, e.g. relevant for last line after visible text;
Sat, 18 Oct 2014 11:19:34 +0200 wenzelm tuned signature;
Sat, 18 Oct 2014 10:50:40 +0200 wenzelm tuned signature;
Sat, 18 Oct 2014 10:32:19 +0200 wenzelm tuned signature;
Thu, 16 Oct 2014 21:24:42 +0200 wenzelm more explicit Line_Nesting;
Thu, 16 Oct 2014 12:09:57 +0200 wenzelm support line context with depth;
Thu, 16 Oct 2014 10:59:43 +0200 wenzelm proper type comparison (amending cd4439d8799c);
Tue, 14 Oct 2014 19:39:29 +0200 wenzelm buffer_line_context via untyped access;
Sat, 04 Oct 2014 12:19:26 +0200 wenzelm support for bibtex token markup;
Wed, 23 Jul 2014 11:19:24 +0200 wenzelm clarified module name: facilitate alternative GUI frameworks;
Fri, 30 May 2014 10:50:57 +0200 wenzelm more robust bold_style, e.g. relevant for accidental \<^bold> before keyword;
Tue, 22 Apr 2014 23:49:15 +0200 wenzelm avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
Tue, 25 Mar 2014 16:11:00 +0100 wenzelm separate tokenization and language context for SML: no symbols, no antiquotes;
Tue, 25 Mar 2014 15:15:33 +0100 wenzelm separate "sml" mode, suppress old "ml" mode altogether;
Sun, 16 Feb 2014 13:18:08 +0100 wenzelm tuned signature -- emphasize line-oriented aspect;
Sat, 15 Feb 2014 16:27:58 +0100 wenzelm isabelle-ml mode with separate token marker;
Sun, 22 Sep 2013 18:36:22 +0200 wenzelm tuned signature;
Sun, 22 Sep 2013 18:07:34 +0200 wenzelm completion popup for history text field;
Thu, 29 Aug 2013 15:48:37 +0200 wenzelm explicit indication of outer syntax with no tokens;
Thu, 29 Aug 2013 15:24:36 +0200 wenzelm always use extended styles (despite de26cf3191a3);
Thu, 29 Aug 2013 13:53:45 +0200 wenzelm more uniform configuration of editor modes and token markers;
Thu, 29 Aug 2013 12:38:33 +0200 wenzelm maintain Completion_Popup.Text_Area as client property like Document_View;
less more (0) -100 -60 tip