IMO that sounds like something the aforementioned plugin should try and deal with. Stock Geany will never hide the editor area, so it seems hardly sensible it would have to deal with this edge case.
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/3979#issuecomment-2396693286 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/3979/[email protected]>
