It looks like it does exit, after a short delay, when closed by clicking the red button on the window, instead of quoting from the menu. 

— Steve. 


On Nov 8, 2022, at 3:04 PM, Christian Grün <christian.gruen@gmail.com> wrote:

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?




Joe Wicentowski <joewiz@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) <sdm7g@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.