Thanks for the observation. Mac support was improved in general with Java 11, but it still requires some OS-specific tweaks in the code. Our current solution may not be complete enough to achieve the expected default behavior [1].
I’m no Mac user, but does it make a difference if the GUI is quit a) via the menu or b) the red icon? [1] https://github.com/BaseXdb/basex/blob/main/basex-core/src/main/java/org/basex/gui/layout/BaseXLayout.java#L584 Joe Wicentowski <joe...@gmail.com> schrieb am Di., 8. Nov. 2022, 20:54: > I've been experiencing this problem too on macOS (both 12 Monterey and now > 13 Ventura), installed via Homebrew, and started via the `basexgui` command > line command. > > On Tue, Nov 8, 2022 at 1:02 PM Majewski, Steven Dennis (sdm7g) < > sd...@virginia.edu> wrote: > >> I’ve been having a problem for a while where after attempting to quit the >> Mac GUI, it doesn’t actually exit and has to be force quit. I’m sorry I >> wasn’t able to track how this tracks with MacOS / JDK / BaseX updates and >> when it actually started happening. Wondering if anyone else has had this >> issue, and whether it’s Mac specific or JDK version specific. >> >> >> MacOS 12.6.1 but problem goes back at least to earlier 12.6 versions >> Openjdk from home-brew install — currently openjdk/19.0.1, but was >> happening on earlier versions. >> And the current and last several versions of BaseX >> >> — Steve M. >> >> >>
