It would be nice the let the user select what font they want to use in the editor.

If you’re looking to use a specific font, especially one you have installed, that’s not yet supported, but I hope to add it in the future.

If you haven’t already seen it, you can change between (preset) monospace, sans-serif and serif fonts in the app preferences.

Update: Custom editor fonts added in v0.21: https://billiam.itch.io/deepdwn/devlog/237732/v0210-fonts-and-languages