Hi Christian, The [1] link seems to go to formdev's flatlaf docs, rather than the BaseX documentation?
Thanks! Graydon On Mon, Jan 26, 2026, at 11:50, Christian Grün wrote: > Hi Bridger, hi Graydon, > > It’s true, we included custom scaling support in the code of previous > versions of BaseX. With our code, we tried to compensate deficiences of > previous Swing versions. Which was hacky and unrewarding. With newer versions > of the JDK, the support for high resolutions has become much more reliable, > but unfortunately the improvements are not reflected on all operating systems. > > But I have good news! FlatLaf comes with builtin options to control font > scaling, which you can now assign before launching the GUI. I have added > instructions on how to do this in our Wiki [1]. > > In addition, some may be glad to read that FlatLaf comes with dark themes, > which are correctly detected and rendered by the latest snapshot [2]. > > Hope this helps, > Christian > > [1] https://www.formdev.com/flatlaf/system-properties/ > [2] https://files.basex.org/releases/latest/ > > > *Von:* Bridger Dyson-Smith <[email protected]> > *Gesendet:* Montag, 26. Januar 2026 16:46 > *An:* Graydon Saunders <[email protected]> > *Cc:* Christian Grün <[email protected]>; BaseX > <[email protected]> > *Betreff:* Re: [basex-talk] Re: changing the BaseX GUI menu font > > Hi Graydon, Christian, et al, > > I started poking through old commits and found this one: > https://github.com/BaseXdb/basex/issues/1219 ("Disable Scaling"). > Was there an option for scaling the GUI at one point, or am I > misunderstanding the general concept of that commit? > Echoing Graydon's point, it would be great to have more control over > fonts/font scaling in the GUI, including the UI outside of the editor/project > windows. > Best, > Bridger > > On Mon, Jan 26, 2026, 8:43 AM Graydon Saunders via BaseX-Talk > <[email protected]> wrote: >> Hi Christian, >> >> FlatLaf works. I can download the snapshot, download FlatLaf, and with >> FlatLaf in `custom/` I get a list of themes and those themes all do stuff. >> (I removed JTatoo from `custom/` before trying FlatLaf.) >> >> What I don't see is a way to adjust the size of the menu and editor tab >> fonts. >> >> The font dialog gives me the expected two font options, I think one for >> editor panes and one for everything else like the Results view. I am not >> sure which way around those font options are but I am sure I'm getting both >> of them (the Editor pane has a dotted zero; the Results pane has a >> kinda-like-a-phi zero with a slash.) >> >> So far as I can tell, the themes internal to BaseX are invisible to the >> window manager; any theme adjuster tool would need to be a Java one, and >> searching has so far has found programming tutorials rather than >> applications. >> >> Thanks! >> Graydon >> >> On Mon, Jan 26, 2026, at 07:23, Christian Grün wrote: >>> 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 >>
