The editor widget provides two functions for setting size, by integer points or integer 100th points, see and Geany uses the integer one here.
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, view it on GitHub, or mute the thread.