scheme: Fix punctuation

This commit is contained in:
Mattia Astorino 2020-01-06 17:11:18 +01:00
parent f00f390902
commit 6c31bfd4dd
No known key found for this signature in database
GPG key ID: CDFA82D8B1132C65

View file

@ -383,20 +383,18 @@ export const getColorSet = (theme: ThemeSetting): IColorSet => {
wordHighlight: `${theme.scheme.base.pink}30`, wordHighlight: `${theme.scheme.base.pink}30`,
// When the cursor is on a symbol, highlights places that symbol is written // When the cursor is on a symbol, highlights places that symbol is written
wordHighlightStrong: `${theme.scheme.base.green}30` wordHighlightStrong: `${theme.scheme.base.green}30`
} },
/** /**
* Override all syntax tokens * Override all syntax tokens
*/ */
// customTokens: [ customTokens: [
// { {
// name: 'String', name: 'Punctuation',
// scope: [ 'string' ], scope: ['punctuation'],
// settings: { settings: {
// fontStyle: 'normal', foreground: theme.scheme.base.cyan
// foreground: '#', }
// background: '#' }
// } ]
// }
// ]
}; };
}; };