[Github-comments] [geany/geany-plugins] Workbench (#598)

Sun Aug 20 11:05:07 UTC 2017

@LarsGit223 pushed 1 commit.

6d8d2d8  Use "ui_widget_modify_font_from_string()" to change the workbench sidebar font.

-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/geany/geany-plugins/pull/598/files/316e11fe59212483ca0117375984e3a261bed089..6d8d2d84db323b9d5cbc2227790a6bfb58e71813
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20170820/54a12644/attachment.html>