Hi Graydon, JTattoo has not been updated for ages, so I am not sure if there is a chance to change the font size at all.
For testing, I have just added support for FlatLaf: You can download the latest snapshot [1], add the FlatLAF library to the classpath [2], and proceed as usual (start BaseX, choose the L&F, restart BaseX). Looking forward to your feedback. Best, Christian [1] https://files.basex.org/releases/latest/ [2] https://repo1.maven.org/maven2/com/formdev/flatlaf/3.7/flatlaf-3.7.jar ________________________________ Von: Graydon Saunders via BaseX-Talk <[email protected]> Gesendet: Sonntag, 25. Januar 2026 06:12 An: BaseX <[email protected]> Betreff: [basex-talk] changing the BaseX GUI menu font Hello -- So I've successfully added the JTattoo themes mentioned in the documentation https://jtattoo.de/index.html These work, in that new theme names appear and the BaseX GUI application looks different when I select different themes from the list. What they don't seem to do is provide any way to change the font size of the menus or the editor tabs with the file name in them. (The JTattoo themes do provide antialiasing, which is welcome.) It's a high resolution monitor and a notional 40 point font in the editor looks about right; the 11 or 12 point font to which the tabs and menus default is hard to read. I am forming the impression that there might be some sort of global base font setting somewhere but I have no idea where I'd even start looking. (The themes that appear built in to the BaseX GUI also work; I presume those live in the JDK somewhere?) Is there some sort of -Djdk.controlFont.size setting available? I'm using Linux (with LXQt as the window manager); I'm using OpenJDK 25.0.1 and BaseX 12.2. Thanks! Graydon
