Hello,
Not too long ago I had Source Code Pro as the font of choice in SQL Developer. Somehow it doesn't show up any more as available. The same with JetBrains Mono, Fira Code, Hasklig, Ubuntu Mono, Meslo...
What kind of fonts does SQL Developer support? I'm working with SQL Developer 17.4.1.054.0712 under Java 1.8.0_201 and SQL Developer 20.2.0.175.1842.
Thanks in advance, Bernd