choose current theme in Options dialog - 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

choose current theme in Options dialog #8

Closed engor closed 10 years ago