[Github-comments] [geany/geany] Support for more flexible font scaling (#2242)

elextr notifications at xxxxx
Sat Aug 3 09:13:00 UTC 2019


The editor widget provides two functions for setting size, by integer points or integer 100th points, [see](https://www.scintilla.org/ScintillaDoc.html#SCI_STYLESETSIZE) and Geany uses the integer one [here](https://github.com/geany/geany/blob/9c91c287803ae05ce0f2aacd605564301e0ef4aa/src/sciwrappers.c#L952).

If somebody provides a PR for a function that uses the 100th point API it should be possible.

-- 
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/2242#issuecomment-517908858
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20190803/6d09c704/attachment.html>


More information about the Github-comments mailing list