| Commit message (Expand) | Author | |
|---|---|---|
| 2010-07-07 | Theme Editor: Made auto-expand/highlight of parse tree optional (through pref... | Robert Bieber |
| 2010-07-06 | Theme Editor: Added font directory option in preferences dialog, renderer wil... | Robert Bieber |
| 2010-06-17 | Theme Editor: Moved source files into subdirectories | Robert Bieber |
| 2010-06-15 | Theme editor: only accept valid colors in the preference dialog | Maurus Cuelenaere |
| 2010-06-07 | Theme Editor: Changed default font to monospaced, changed organization for th... | Robert Bieber |
| 2010-06-07 | Theme Editor: Made status label a permanent widget and made editor highlight ... | Robert Bieber |
| 2010-06-07 | Theme Editor: Added font selection | Robert Bieber |
| 2010-06-07 | Theme Editor: Added a preferences dialog and allowed modification of the synt... | Robert Bieber |