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 |