Looks very good. Two minor remarks: - maybe we could add a short comment in https://github.com/geany/geany/pull/4023/files#diff-42b5b46e89c71a2aee5d52adee0a80fcfa424aad9a00c27a81118279bd64c69aR383 and https://github.com/geany/geany/pull/4023/files#diff-8396dc9c2232193e29aaeddbcf7fa02add25c3c2b855f56c3e5307dc34fcfcf3R1020 to explain why we are doing this - I noticed if the panes are restored after they have been set to < 10px, the message window pane takes some more space than before (relative to the default window size). This is probably no big issue because most users will *not* use the default window size as it is way too small and we can never know what the correct size will be. And after all, this is probably also dependent on the GTK theme. We could use a dynamic ratio based on parent widget allocation but then again, this probably won't fit the users preference. So it is probably fine as is.
Fresh config:  After panes have been set to <10px and restored:  **After all, I think this is a very good addition to help users to easily restore the panes after they have been (maybe accidentally) hidden by setting the size too small.** -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/4023#issuecomment-2452945100 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/4023/[email protected]>
