nightly - Githubissues

engor / Jentos.Code

Jentos IDE is a powerfull code editor for Monkey programming language.

http://fingerdev.com/jentos

GNU General Public License v3.0

13 stars 10 forks source link

nightly #23

Closed engor closed 10 years ago

engor commented 10 years ago

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