2 Commits

Author	SHA1	Message	Date
royqh1979@gmail.com	3e0925ba70	- fix: when changing options in the option dialog's color scheme panle, color of the demo editor won't be not correctly updated ... - enhancement: Add default color scheme to themes. Change theme option will change color scheme too.	2021-11-07 22:34:19 +08:00
royqh1979@gmail.com	c98e169fa3	- fix: Installer should install the app in "program files", not "program files (x86)" ... - fix: symbol completion for '/*' not work - fix: javadoc-style docstring indents calculation	2021-11-07 10:48:09 +08:00