<blockquote>
<p>Strange though that Pluma still has a DPI independent font size, even though it is GTK.</p>
</blockquote>
<p>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).</p>
<p>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.</p>
<p>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.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany/issues/703#issuecomment-325132096">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABDrJ5hkf_FHnAnmFGlBgbq26-AQCPQ8ks5scCnLgaJpZM4GSnif">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABDrJ9Phh-zVjkz-DHg-hBA2-eKGZDROks5scCnLgaJpZM4GSnif.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/geany/geany/issues/703#issuecomment-325132096"></link>
  <meta itemprop="name" content="View Issue"></meta>
</div>
<meta itemprop="description" content="View this Issue on GitHub"></meta>
</div>

<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/geany/geany","title":"geany/geany","subtitle":"GitHub repository","main_image_url":"https://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/geany/geany"}},"updates":{"snippets":[{"icon":"PERSON","message":"@elextr in #703: \u003e Strange though that Pluma still has a DPI independent font size, even though it is GTK.\r\n\r\nIIUC 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).\r\n\r\nThe 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.\r\n\r\nThe 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."}],"action":{"name":"View Issue","url":"https://github.com/geany/geany/issues/703#issuecomment-325132096"}}}</script>