> Strange though that Pluma still has a DPI independent font size, even though > it is GTK.
IIUC Pluma is a fork of an old version of GTK2 gedit, maybe before DPI handling was added and anyway GTK2 isn't known for good DPI handling (especially hidpi). The need for line spacing tends to be font related (for example on my system dejavu is more cramped than hack at the same size) so it would make sense to be a preference rather than a theme setting since themes do not set fonts. I guess people tend to set and leave the line spacing which is why nobody has submitted a PR to move it to the GUI. The margin line numbers styling is also part of the colourscheme, and in this case thats a good place for it as it allows the scheme to make it match the rest of the editor. As best I can tell, numbers in the margin look the same as numbers in the editor. -- 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/703#issuecomment-325132096
