[Geany] Size of the font in Line margin and general fonts question

klo uo klonuo at xxxxx
Sat Feb 25 19:27:53 UTC 2012


OK, thanks for confirmation
Fonts were probably like you wrote, I thought it reads my system font set
which are set to Droid, but maybe I made them like that.

As I build Geany and plugins from source, if it's not much trouble and some
dev can give me a tip how to change Geany source to make linenumber one
point smaller then rest of editor font, I'd appreciate it much.

TIA,
cheers


On Sat, Feb 25, 2012 at 7:56 PM, Dimitar Zhekov <dimitar.zhekov at gmail.com>wrote:

> > Is there any way I can make line-number font smaller then editor font?
>
> No. A new setting may or may not be easy to add - the line-number font
> may be higher than the editor font, which has the potential to break a
> lot of functions... though I can't name even one.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.geany.org/pipermail/users/attachments/20120225/48ffc94b/attachment.html>


More information about the Users mailing list