This repository has been archived on 2023-10-09. You can view files and clone it. You cannot open issues or pull requests or push a commit.

William Reynish 67fd40f54c Enabled theme editing in user preferences. There's still no way to Load/Save/Add/Delete though. ...

Code could be optimized greatly, but found it hard to get it to work nicely with auto-generated code.

2009-11-02 17:18:17 +00:00

48 KiB

Raw Blame History

View Raw