<p></p>
<p dir="auto">To be clear, no hard feelings here, I just want to progress with this PR so everybody is happy. I'm pretty flexible with how to proceed, some extra work is fine with me, but I don't want to do the ping pong that guy A says "do it this way", I do it, and guy B says "don't do it that way".</p>
<p dir="auto">Similarly with the header patch - if I open a separate PR for it, I'd like to prepare it in such a way that it's acceptable for everyone so that I don't have to rework it again. My current proposal is to have a hash table in <code class="notranslate">TMWorkspace</code> mapping <code class="notranslate">short_name</code> (filename without path) to the corresponding <code class="notranslate">TMSourceFile</code>, enable include tag generation and sort the tags that those from the included files are before the rest of the workspace tags (with highest priority given to the header having the same name as the current file). This avoids the hard-coded file extensions and the lookup should be fast thanks to the hash table. Does this proposal sound as a good way to implement it?</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-1121011137">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ53THXV6CRNDRPT4KDVJD5MFANCNFSM5UWGU33A">unsubscribe</a>.<br />You are receiving this because you are subscribed to this thread.<img src="https://github.com/notifications/beacon/AAIOWJYKU3X6U6MQM5YFMCTVJD5MFA5CNFSM5UWGU33KYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOILIULQI.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/c1121011137</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-1121011137",
"url": "https://github.com/geany/geany/pull/3185#issuecomment-1121011137",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>