<blockquote>
<p>I can think of a couple alternatives, but none which require so few changes (ex. explicit size variables for each array, sentinel-terminated arrays, etc).</p>
</blockquote>
<p>I really think any solution should minimize the risk of likely problems (well, at least the ones that are likely to happen, e.g. anything that can arise from adding/modifying mappings in higlightingmappings.h), and explicit size variables seem really easy to get wrong (or at the very least tedious), and sentinels are also easily forgotten if not checked by the compiler.</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/2398?email_source=notifications&email_token=AAIOWJ7KQKAOW4IAH2PZNK3QUFL65A5CNFSM4JOGEJQKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEEIN5PY#issuecomment-554753727">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ6VHNPS2DUSVACFOJTQUFL65ANCNFSM4JOGEJQA">unsubscribe</a>.<img src="https://github.com/notifications/beacon/AAIOWJ6QM32Q6ZCQ3NVGOCLQUFL65A5CNFSM4JOGEJQKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEEIN5PY.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/2398?email_source=notifications\u0026email_token=AAIOWJ7KQKAOW4IAH2PZNK3QUFL65A5CNFSM4JOGEJQKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEEIN5PY#issuecomment-554753727",
"url": "https://github.com/geany/geany/pull/2398?email_source=notifications\u0026email_token=AAIOWJ7KQKAOW4IAH2PZNK3QUFL65A5CNFSM4JOGEJQKYY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEEIN5PY#issuecomment-554753727",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>