engor/Jentos_IDE — pull request #23 by engor (2014-07-30 14:21:24+00:00)
Title: nightly

+ new option checkbox "replace docs style for dark theme"
+ new options dialog with sections (in progess)