Preferences Window. #4
Description
A preferences window would be good to have. This would offer the ability to change the theme for code in a JSourcePanel, set default search options, change profile name or directory etc.
{{ message }}
A preferences window would be good to have. This would offer the ability to change the theme for code in a JSourcePanel, set default search options, change profile name or directory etc.