When Marvin installed with no Java bundled is used on a HiDPI monitor and the version of actually installed Java 9+ you may need to manually make an additional setting on Windows. Without it you may experience weird text handling in text boxes and can expect other glitches too.

Marvin installed via installer package having Java 11 bundled has this property already set, so you do not need to do anything in addition. This is true for the Windows and Linux installers alike.