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:37 +0200 | Claus Gittinger | #OTHER by cg | file | diff | annotate |
Tue, 12 Aug 2014 22:40:30 +0100 | Jan Vrany | Fix in JavaClass>>innerClassesIgnoreUnloaded: - also return anonymous classes. | file | diff | annotate |
Wed, 25 Jun 2014 13:58:21 +0100 | Jan Vrany | Java source highlughter refactoring. | file | diff | annotate |