@techee commented on this pull request.
> @@ -1022,6 +1022,42 @@ void ui_sidebar_show_hide(void) } +void ui_menubar_show_hide(void) Yes, makes sense totally. I'll think about what could be the best solution. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/4279#discussion_r2135781614 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/pull/4279/review/[email protected]>
