<p><a class="user-mention" data-hovercard-type="user" data-hovercard-url="/hovercards?user_id=9009011" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/LarsGit223">@LarsGit223</a> The thing is that <em>~/.config/gtk-3.0/gtk.css</em> has the highest priority possible -- user priority.  It's actually pretty much the right thing to do to let this win.<br>
In our specific case where it's a user setting, it could be arguable that we should give it user priority, and then it <em>might</em> work, although I'm not confident our dynamic style would overwrite anything in <em>~/.config/gtk-3.0/gtk.css</em>, unless we give it higher priority, which we probably shouldn't as it wouldn't be semantic.</p>
<p>All in all, I'm not even sure the behavior described in this report is wrong.  After all, the user selected a specific font in a place meant to override <em>everything</em>, so why would we fight it?  If the user really wants something else, it's totally possible to have the right piece of CSS in <em>~/.config/gtk-3.0/gtk.css</em> to do so, likely something like this:</p>
<div class="highlight highlight-source-css"><pre><span class="pl-e">#GeanyMainWindow</span> paned<span class="pl-k">></span>paned<span class="pl-e">:first-child</span><span class="pl-k">></span>notebook<span class="pl-e">:first-child</span> scrolledwindow<span class="pl-e">:first-child</span><span class="pl-k">></span>treeview { <span class="pl-c1"><span class="pl-c1">font</span></span>: sans <span class="pl-c1">12</span>; }
<span class="pl-e">#GeanyMainWindow</span> paned<span class="pl-k">></span>notebook<span class="pl-e">:last-child</span> scrolledwindow<span class="pl-k">></span>treeview { <span class="pl-c1"><span class="pl-c1">font</span></span>: <span class="pl-c1">monospace</span> <span class="pl-c1">14</span>; }</pre></div>
<p>We could possibly make this easier by giving a CSS ID to the symbols pane's treeview if really needed, but again the only case it matters is when this gets overridden manually.</p>
<p>In the end, yes, providing a custom <code>GtkCssProvider</code> might work, but the priority might have to be > to <code>GTK_STYLE_PRIORITY_USER</code>, which doesn't necessarily seem like a good idea. And I'm not sure it's worth the trouble going through all this just for a corner case that already has a workaround.</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/2069?email_source=notifications&email_token=AAIOWJ252UXUXJ6EYA76CPDQAYRITA5CNFSM4GS2Y6HKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD2RHE7I#issuecomment-513962621">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ4A2YJUCIBD65JCPXDQAYRITANCNFSM4GS2Y6HA">mute the thread</a>.<img src="https://github.com/notifications/beacon/AAIOWJ5RRYUOS25ZJ2EY4VDQAYRITA5CNFSM4GS2Y6HKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD2RHE7I.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/issues/2069?email_source=notifications\u0026email_token=AAIOWJ252UXUXJ6EYA76CPDQAYRITA5CNFSM4GS2Y6HKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD2RHE7I#issuecomment-513962621",
"url": "https://github.com/geany/geany/issues/2069?email_source=notifications\u0026email_token=AAIOWJ252UXUXJ6EYA76CPDQAYRITA5CNFSM4GS2Y6HKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD2RHE7I#issuecomment-513962621",
"name": "View Issue"
},
"description": "View this Issue on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>