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

Matthew Brush notifications at xxxxx
Sun Jan 20 02:41:54 UTC 2019


I think this might be do-able for a plugin. It would probably require [hooking into the widget hierarchy](https://www.geany.org/manual/reference/ui__utils_8h.html#a49c80700d479b852da7ed598ee35776d) and thus be somewhat hacky, but I've done [similar](https://plugins.geany.org/devhelp.html) [kludges](https://plugins.geany.org/overview.html) in plugins with moderate success 😃

-- 
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-455832542
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190119/fafc9908/attachment.html>


More information about the Github-comments mailing list