Re: [basex-talk] GUI doesn't quit on Mac

2022-11-09 Thread Joe Wicentowski
; Best > > > > > > Michael > > > > > > > > > > Von: BaseX-Talk im Auftrag > von Joe Wicentowski > > Datum: Mittwoch, 9. November 2022 um 01:21 > > An: Majewski, Steven Dennis (sdm7g) > > Cc: BaseX > > Betreff: Re: [basex-ta

Re: [basex-talk] GUI doesn't quit on Mac

2022-11-09 Thread Christian Grün
> > > Best > > > Michael > > > > > Von: BaseX-Talk im Auftrag von > Joe Wicentowski > Datum: Mittwoch, 9. November 2022 um 01:21 > An: Majewski, Steven Dennis (sdm7g) > Cc: BaseX > Betreff: Re: [basex-talk] GUI doesn't quit on Mac > >

Re: [basex-talk] GUI doesn't quit on Mac

2022-11-09 Thread Michael Seiferle
Dennis (sdm7g) Cc: BaseX Betreff: Re: [basex-talk] GUI doesn't quit on Mac As a Mac user, I do not generally expect closing a window via the red window button to quit an app. With only a few exceptions (e.g., single window only apps like the Calculator), closing any/all of an app's windows will keep

Re: [basex-talk] GUI doesn't quit on Mac

2022-11-08 Thread Joe Wicentowski
As a Mac user, I do not generally expect closing a window via the red window button to quit an app. With only a few exceptions (e.g., single window only apps like the Calculator), closing any/all of an app's windows will keep the app open; apps that remain open after their windows are closed

Re: [basex-talk] GUI doesn't quit on Mac

2022-11-08 Thread Majewski, Steven Dennis (sdm7g)
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 wrote: > > Thanks for the observation. Mac support was improved in general with Java 11, > but it

Re: [basex-talk] GUI doesn't quit on Mac

2022-11-08 Thread Christian Grün
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

Re: [basex-talk] GUI doesn't quit on Mac

2022-11-08 Thread Joe Wicentowski
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

[basex-talk] GUI doesn't quit on Mac

2022-11-08 Thread Majewski, Steven Dennis (sdm7g)
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