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