Tue, 18 Sep 2012 19:50:09 +0200 | wenzelm | output is read-only; | file | diff | annotate |
Tue, 18 Sep 2012 19:42:32 +0200 | wenzelm | token marker for extended syntax styles; | file | diff | annotate |
Tue, 18 Sep 2012 19:33:45 +0200 | wenzelm | pass base_snapshot to enable hyperlinks into other nodes; | file | diff | annotate |
Tue, 18 Sep 2012 14:51:12 +0200 | wenzelm | some actual rich text markup via XML.content_markup; | file | diff | annotate |
Tue, 18 Sep 2012 13:18:45 +0200 | wenzelm | some support for inital command markup; | file | diff | annotate |
Tue, 18 Sep 2012 11:49:23 +0200 | wenzelm | more static rendering state; | file | diff | annotate |
Tue, 18 Sep 2012 11:43:05 +0200 | wenzelm | Pretty_Text_Area is based on Rich_Text_Area; | file | diff | annotate |
Sun, 16 Sep 2012 20:16:28 +0200 | wenzelm | alternative output panel, based on Pretty_Text_Area, based on JEditEmbeddedTextArea; | file | diff | annotate |