Arnauld opened this issue 13 years ago · 1 comments
In order to customize editor, As a user, I want to have an preference page So that i could define my own color settings or select one of the predefined theme.
Fixed in master branch Available on next christmas 2011 release: 1.0.4