<p></p>
<p dir="auto">Maybe to clarify - as outlined here <a class="issue-link js-issue-link" data-error-text="Failed to load title" data-id="1074588994" data-permission-text="Title is private" data-url="https://github.com/geany/geany/issues/3049" data-hovercard-type="pull_request" data-hovercard-url="/geany/geany/pull/3049/hovercard?comment_id=991886155&comment_type=issue_comment" href="https://github.com/geany/geany/pull/3049#issuecomment-991886155">#3049 (comment)</a> I would suggest switching to the ctags file format. That however doesn't mean that we have to necessarily use ctags to generate such files. We can still use Geany or whatever scripts to write the tag files, just in a different format (I think Geany processes includes and parses the included files automatically which I think ctags doesn't do and might be shame to lose that functionality). The ctags file format is pretty simple and generating it ourselves shouldn't be hard to do.</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/pull/3039#issuecomment-991886800">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ3YVANMHF5V4DYMHH3UQSGQFANCNFSM5JG37HGA">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>.
<img src="https://github.com/notifications/beacon/AAIOWJ63EER3NQTH3DEV333UQSGQFA5CNFSM5JG37HGKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOHMPP3UA.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/pull/3039#issuecomment-991886800",
"url": "https://github.com/geany/geany/pull/3039#issuecomment-991886800",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>