<p></p>
<p dir="auto">I'm not fundamentally opposed to the header patch (and I never that something like that). But I have concerns about the exact requirements and implementation that are better dealt with in a separate PR, IMO. It became clear to me that it adds a lot of benefit and <a class="user-mention notranslate" data-hovercard-type="user" data-hovercard-url="/users/elextr/hovercard" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/elextr">@elextr</a> totally wants to have it so I want to make sure the implementation is solid when we merge it.</p>
<p dir="auto">I truly don't understand why it causes so much friction when I ask to separate out an unrelated feature. I really only want to focus on "completing local variable" for this PR so we can get it in ASAP (I already failed at that goal because it probably would be merged already if I just kept shut up) and then improve user experience through other means separately. If you think that I would want to reject one PR or another then that's really not the case. But given my limited time to actually review code changes I really want to focus on individual PRs (ideally with reasonably small diffs) because I can't accept overloaded PRs with confidence.</p>
<p dir="auto">Also I did mean it honest when I said that <a class="user-mention notranslate" data-hovercard-type="user" data-hovercard-url="/users/elextr/hovercard" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/elextr">@elextr</a> and you can deal with this PR without my involvement. I'm OK as long as there is one other person that can assess the changes. Ultimately, I'm even OK with merging PRs without review if it's really impossible to get any feedback (not uncommon these days, unfortunately) though it come with a kind of warning in advance.</p>

<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/3185#issuecomment-1120470151">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ3GASAK7B6XAIBQAP3VJAFNTANCNFSM5UWGU33A">unsubscribe</a>.<br />You are receiving this because you are subscribed to this thread.<img src="https://github.com/notifications/beacon/AAIOWJ5CQAJHM3UJJ6FCWBTVJAFNTA5CNFSM5UWGU33KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOILEQJBY.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/3185/c1120470151</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/3185#issuecomment-1120470151",
"url": "https://github.com/geany/geany/pull/3185#issuecomment-1120470151",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>