<blockquote>
<p>Instead of <code>string_2</code> I've made string escapes use <code>string_1,bold</code>.</p>
</blockquote>
<p>I'm not sure forcing a style attribute is a good idea, as it won't have any effect if the base style has it already.  Also bold specifically apparently sometimes cause issues with some poor fonts that get emulated boldness that lead to not truly fixed width characters, and so I heard more than once people wanting to get rid of it.</p>
<p>What about adding a new style altogether, and provide a reasonable default using another named style?  e.g. introduce <code>string_escape_1=string_1</code> and themes can override this to something else.  I didn't check if we can currently do that, but it sounds better to me than try and fit one of the styles we already have that don't really make semantic sense.</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/2157?email_source=notifications&email_token=AAIOWJ2ILTSTXPUIN4HLNVTP3KPKLA5CNFSM4HN4GW72YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODYDKDLY#issuecomment-503751087">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ6UFZBLI3HTAMAP4KTP3KPKLANCNFSM4HN4GW7Q">mute the thread</a>.<img src="https://github.com/notifications/beacon/AAIOWJ7QOPDK6YEKSOTLDW3P3KPKLA5CNFSM4HN4GW72YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODYDKDLY.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/2157?email_source=notifications\u0026email_token=AAIOWJ2ILTSTXPUIN4HLNVTP3KPKLA5CNFSM4HN4GW72YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODYDKDLY#issuecomment-503751087",
"url": "https://github.com/geany/geany/pull/2157?email_source=notifications\u0026email_token=AAIOWJ2ILTSTXPUIN4HLNVTP3KPKLA5CNFSM4HN4GW72YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGODYDKDLY#issuecomment-503751087",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>