<p></p>
<blockquote>
<p dir="auto">What the heck, why a new PR? So much invaluable discussion in the old PR that won't be directly connected.</p>
</blockquote>
<p dir="auto">See the end of the discussion - I wanted to rebase the PR because there were many fixups and reverts and other mess. If I rebased it there, it wouldn't be clear what the discussion was about because the commits wouldn't correspond to the discussion. The PR is linked at the top of this PR so I don't see any problem.</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-1113852870">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ7JOFU7CUWKLFESG23VHRTSJANCNFSM5UWGU33A">unsubscribe</a>.<br />You are receiving this because you are subscribed to this thread.<img src="https://github.com/notifications/beacon/AAIOWJY4HU36CFKTNNUWJ5DVHRTSJA5CNFSM5UWGU33KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOIJSAXRQ.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/c1113852870</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-1113852870",
"url": "https://github.com/geany/geany/pull/3185#issuecomment-1113852870",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>