<p></p>
<p dir="auto"><a class="user-mention" data-hovercard-type="user" data-hovercard-url="/users/intact/hovercard" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/intact">@intact</a> yes, that is part of the conversation linked <a href="https://github.com/geany/geany/pull/3058#issuecomment-997297134" data-hovercard-type="pull_request" data-hovercard-url="/geany/geany/pull/3058/hovercard">above</a>.  And when looking <em>closely</em> at my statusbar it is padded maybe about 10px see below.</p>
<p dir="auto">Default statusbar here:</p>
<p dir="auto"><a target="_blank" rel="noopener noreferrer" href="https://user-images.githubusercontent.com/811085/146698843-1f36265d-c3f7-4f60-9ba7-ef88f29495ad.png"><img src="https://user-images.githubusercontent.com/811085/146698843-1f36265d-c3f7-4f60-9ba7-ef88f29495ad.png" alt="Screenshot from 2021-12-20 11-19-55" style="max-width: 100%;"></a></p>
<p dir="auto">which does indeed have about 10px margin, but on my screen thats not a lot of space so I hadn't noticed it was padded.</p>
<p dir="auto">With the addition of the 3 lines from post above:</p>
<p dir="auto"><a target="_blank" rel="noopener noreferrer" href="https://user-images.githubusercontent.com/811085/146698832-34a78716-dba2-4909-9ab9-e28592bbc394.png"><img src="https://user-images.githubusercontent.com/811085/146698832-34a78716-dba2-4909-9ab9-e28592bbc394.png" alt="Screenshot from 2021-12-20 11-18-56" style="max-width: 100%;"></a></p>
<p dir="auto">it has shrunk.</p>
<p dir="auto">So this shows several things:</p>
<ol dir="auto">
<li>
<p dir="auto">even with the padding it depends on screen resolution if its noticable much, with my mid resolution monitor (not a 4k or "retina" screen) it does not seem "huge" (to quote the OP).  In fact it is about the same height as a normal edit line now that has been corrected to show underlines.  So it is not necessary to force a mandate of a shrink for all users just because one is unhappy with their system defaults.</p>
</li>
<li>
<p dir="auto">it can be shrunk with geany.css here, so why does it not work for <a class="user-mention" data-hovercard-type="user" data-hovercard-url="/users/techee/hovercard" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/techee">@techee</a>, seems his system is the one thats broken, but AFAICS he hasn't actually provided any details on system, or GTK versions, or desktop, or theme etc.  Try to find why it does not work before breaking Geany.</p>
</li>
<li>
<p dir="auto">The project has taken the decision delegate theming to the desktop themes.  I do not agree with that decision, but its the one that was made, and it can be overridden by <code>geany.css</code>.  So we should not be diving for code to enforce an override when we dislike some default theme and break the contract we have with our users.</p>
</li>
</ol>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />Reply to this email directly, <a href="https://github.com/geany/geany/pull/3058#issuecomment-997513570">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJY6RW7EMWZ4V34ILTLUR2AX3ANCNFSM5KKZ3LLA">unsubscribe</a>.<br />Triage notifications on the go with GitHub Mobile for <a href="https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675">iOS</a> or <a href="https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub">Android</a>.
<br />You are receiving this because you are subscribed to this thread.<img src="https://github.com/notifications/beacon/AAIOWJ4U7JW5BCXALPDT6KTUR2AX3A5CNFSM5KKZ3LLKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOHN2NSYQ.gif" height="1" width="1" alt="" /><span style="color: transparent; font-size: 0; display: none; visibility: hidden; overflow: hidden; opacity: 0; width: 0; height: 0; max-width: 0; max-height: 0; mso-hide: all">Message ID: <span><geany/geany/pull/3058/c997513570</span><span>@</span><span>github</span><span>.</span><span>com></span></span></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany/pull/3058#issuecomment-997513570",
"url": "https://github.com/geany/geany/pull/3058#issuecomment-997513570",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>