fix: fix: add basic markup highlight

Closes #514
This commit is contained in:
Mattia Astorino 2021-03-10 21:06:47 +01:00
parent 94a98fec82
commit 420341c383

View file

@ -48,6 +48,33 @@ export const getColorSet = (theme: ThemeSetting): IColorSet => {
* Override all syntax tokens
*/
customTokens: [
{
name: 'Markup Deleted',
scope: [
'markup.deleted'
],
settings: {
foreground: theme.scheme.base.red
}
},
{
name: 'Markup Inserted',
scope: [
'markup.inserted'
],
settings: {
foreground: theme.scheme.base.green
}
},
{
name: 'Markup Underline',
scope: [
'markup.underline'
],
settings: {
fontStyle: 'underline'
}
},
{
name: 'Keyword Control',
scope: [