Tue, 12 Jul 2016 12:58:53 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 12 Jul 2016 11:12:07 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 21 Oct 2014 15:21:44 +0200 |
wenzelm |
support for structure matching;
|
file |
diff |
annotate
|
Sat, 18 Oct 2014 20:56:16 +0200 |
wenzelm |
clarified Line_Structure wrt. command span;
|
file |
diff |
annotate
|
Sat, 18 Oct 2014 10:32:19 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Thu, 16 Oct 2014 21:24:42 +0200 |
wenzelm |
more explicit Line_Nesting;
|
file |
diff |
annotate
|
Thu, 16 Oct 2014 12:09:57 +0200 |
wenzelm |
support line context with depth;
|
file |
diff |
annotate
|
Thu, 16 Oct 2014 10:43:34 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 15 Apr 2014 13:07:59 +0200 |
wenzelm |
more robust JEdit_Lib.line_range, according to usual jEdit confusion at end of last line;
|
file |
diff |
annotate
|
Wed, 07 Aug 2013 19:59:58 +0200 |
wenzelm |
more elementary list structures for markup tree traversal;
|
file |
diff |
annotate
|
Fri, 22 Feb 2013 14:39:12 +0100 |
wenzelm |
updated headers;
|
file |
diff |
annotate
|
Sat, 15 Dec 2012 12:16:16 +0100 |
wenzelm |
fold handling within Pretty_Text_Area, based on formal document content, which is static here;
|
file |
diff |
annotate
|