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 genera
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 s
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
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
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 is
Hi Tim,
Thanks for testing the new Store Module.
The fluctuations in memory consumption and the long lags mainly
indicate that the garbage collector is pretty busy. Some data
structures will be much smaller if serialized to disk, so I assume
your amount of data is simply too large to be efficient
6 matches
Mail list logo
