Our next release will have a graphical settings editor too. It's much simpler to use than the textual one, since it doesn't require any knowledge of JSON.
Our next release will have a graphical shortcuts editor, to make it much easier to define custom shortcuts for most people, while at the same time exposing all the power of our shortcuts system, with command arguments, when expressions, priorities, scopes, compound shortcuts etc.
Our next release will have, among many other things, a built-in graphical themes editor, for customizing the colors used by the currently active theme.
It's pretty fun to use, and a very interactive and practical way to customize every single color used throughout the app.
New release: v1.9.0-beta.10 🎉 With support for Svgbob, Nomnoml, Markdown insertions and deletions, pasting as HTML and Markdown, an autocomplete provider for templates, customizable file name styling for notes, bug fixes, and more!