@elextr just ported "editor_font" which shows what you were asking for an example of before, this is probably the "worst case" ugliness since:
a) Has some `#include "settings.h"` which won't be required for porting future settings. b) ScintillaWidget unlike what you'd expect has no "font" property to bind directly to so it requires handling in a `changed` callback. c) Maintains `interface_prefs.editor_font` compatibility for plugin API. -- 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/pull/1257#issuecomment-252389977
