[Github-comments] [geany/geany] Interface: Add GTK3 Headerbar support (GUI refresh) (#2061)

[Thomas Martitz]

IMO we could provide it as an option, if it doesnt add a lot of code. Screen real estate is clearly important and some peope might prefer the header bar with lots of stuff being behind a button.

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/2061#issuecomment-460176168
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190204/4c4879ae/attachment.html>