| 2022-04-01 |
wenzelm |
clarified formatting, for the sake of scala3;
|
file |
diff |
annotate
|
| 2021-06-30 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| 2021-06-26 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2021-05-02 |
wenzelm |
more robust indentation: proper line context after insert;
|
file |
diff |
annotate
|
| 2021-05-02 |
wenzelm |
more robust: avoid sporadic crash of JEditBuffer.tokenMarker.getMainRuleSet().getModeName();
|
file |
diff |
annotate
|
| 2021-03-03 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| 2021-03-01 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| 2021-03-01 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| 2021-03-01 |
wenzelm |
tuned --- fewer warnings;
|
file |
diff |
annotate
|
| 2020-06-11 |
wenzelm |
proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310;
|
file |
diff |
annotate
|
| 2020-04-22 |
wenzelm |
avoid deprecated operations;
|
file |
diff |
annotate
|
| 2017-12-04 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2017-11-06 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2017-06-23 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2017-03-15 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2017-03-15 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2016-12-20 |
wenzelm |
clarified module name;
|
file |
diff |
annotate
|
| 2016-08-04 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2016-07-12 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2016-07-11 |
wenzelm |
support more modes;
|
file |
diff |
annotate
|
| 2016-07-11 |
wenzelm |
explicit kind "before_command";
|
file |
diff |
annotate
|
| 2016-07-07 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| 2016-07-07 |
wenzelm |
basic setup for indentation;
|
file |
diff |
annotate
|
| 2016-01-08 |
wenzelm |
clarified symbol insertion, depending on buffer encoding;
|
file |
diff |
annotate
|
| 2015-09-19 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2015-05-03 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| 2015-04-06 |
wenzelm |
support for 'restricted' modifier: only qualified accesses outside the local scope;
|
file |
diff |
annotate
|
| 2015-04-04 |
wenzelm |
more general notion of command span: command keyword not necessarily at start;
|
file |
diff |
annotate
|
| 2015-01-05 |
wenzelm |
GUI.imitate_font: more explicit result size, e.g. relevant for caching;
|
file |
diff |
annotate
|
| 2015-01-01 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2014-12-03 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2014-12-02 |
wenzelm |
tuned signature -- more explicit types;
|
file |
diff |
annotate
|
| 2014-12-02 |
wenzelm |
node-specific syntax, with base_syntax as default;
|
file |
diff |
annotate
|
| 2014-12-01 |
wenzelm |
clarified token marker / syntax for mode vs. buffer;
|
file |
diff |
annotate
|
| 2014-11-29 |
wenzelm |
encode text with control symbols;
|
file |
diff |
annotate
|
| 2014-10-29 |
wenzelm |
more iterators;
|
file |
diff |
annotate
|
| 2014-10-28 |
wenzelm |
find command span in buffer;
|
file |
diff |
annotate
|
| 2014-10-21 |
wenzelm |
added option jedit_structure_limit;
|
file |
diff |
annotate
|
| 2014-10-21 |
wenzelm |
some structure matching, based on line token iterators;
|
file |
diff |
annotate
|
| 2014-10-21 |
wenzelm |
support for structure matching;
|
file |
diff |
annotate
|
| 2014-10-18 |
wenzelm |
make double-sure that line context is present, e.g. relevant for last line after visible text;
|
file |
diff |
annotate
|
| 2014-10-18 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2014-10-18 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2014-10-18 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2014-10-16 |
wenzelm |
more explicit Line_Nesting;
|
file |
diff |
annotate
|
| 2014-10-16 |
wenzelm |
support line context with depth;
|
file |
diff |
annotate
|
| 2014-10-16 |
wenzelm |
proper type comparison (amending cd4439d8799c);
|
file |
diff |
annotate
|
| 2014-10-14 |
wenzelm |
buffer_line_context via untyped access;
|
file |
diff |
annotate
|
| 2014-10-04 |
wenzelm |
support for bibtex token markup;
|
file |
diff |
annotate
|
| 2014-07-23 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| 2014-05-30 |
wenzelm |
more robust bold_style, e.g. relevant for accidental \<^bold> before keyword;
|
file |
diff |
annotate
|
| 2014-04-22 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| 2014-03-25 |
wenzelm |
separate tokenization and language context for SML: no symbols, no antiquotes;
|
file |
diff |
annotate
|
| 2014-03-25 |
wenzelm |
separate "sml" mode, suppress old "ml" mode altogether;
|
file |
diff |
annotate
|
| 2014-02-16 |
wenzelm |
tuned signature -- emphasize line-oriented aspect;
|
file |
diff |
annotate
|
| 2014-02-15 |
wenzelm |
isabelle-ml mode with separate token marker;
|
file |
diff |
annotate
|
| 2013-09-22 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2013-09-22 |
wenzelm |
completion popup for history text field;
|
file |
diff |
annotate
|
| 2013-08-29 |
wenzelm |
explicit indication of outer syntax with no tokens;
|
file |
diff |
annotate
|
| 2013-08-29 |
wenzelm |
always use extended styles (despite de26cf3191a3);
|
file |
diff |
annotate
|