| Tue, 05 Dec 2017 22:04:46 +0000 | Jan Vrany | Editor theme: read styles from theme object rather than from preferences themselves | file | diff | annotate |
| Wed, 16 Aug 2017 20:26:34 +0200 | Claus Gittinger | #OTHER by cg | file | diff | annotate |
| Tue, 12 Aug 2014 13:46:30 +0100 | Jan Vrany | Fixes in syntax hibglighting - add support for line-based highlighting | file | diff | annotate |
| Wed, 25 Jun 2014 13:58:21 +0100 | Jan Vrany | Java source highlughter refactoring. | file | diff | annotate |