Every time the UI is restarted, the left and right split panes become a bit smaller or larger. At some point if they get small enough, on the next restart they will jump to a much larger size. This is quite annoying, because you always have to manually adjust the sizes after a few restarts.
This should be fixed so that the split panes are reliably restored to their previous sizes. But if that doesn't work for some reason, perhaps we should simply not persist the sizes at all. In most cases, the default sizes are better than the current buggy behavior.
In case this is a system-dependent bug: I'm using Adoptium 17.0.6+10 and OpenJFX 17.0.7+2 on macOS 13.4 arm64.
Every time the UI is restarted, the left and right split panes become a bit smaller or larger. At some point if they get small enough, on the next restart they will jump to a much larger size. This is quite annoying, because you always have to manually adjust the sizes after a few restarts.
This should be fixed so that the split panes are reliably restored to their previous sizes. But if that doesn't work for some reason, perhaps we should simply not persist the sizes at all. In most cases, the default sizes are better than the current buggy behavior.
In case this is a system-dependent bug: I'm using Adoptium 17.0.6+10 and OpenJFX 17.0.7+2 on macOS 13.4 arm64.