dark theme with toggle button - not persisted
Merge branch 'neweditor20130123' of https://github.com/scripted-editor/scripted into neweditor20130123