Age | Commit message (Expand) | Author |
---|---|---|
2010-06-15 | Theme Editor: Changed color to colour in preferences. Made parse tree viewer... | Robert Bieber |
2010-06-14 | Theme Editor: Set window title on the preferences dialog | Robert Bieber |
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 |