Remove other keywords

This commit is contained in:
Mattia Astorino 2020-01-07 17:42:47 +01:00
parent d4452f197a
commit 40a3cfc9a2
No known key found for this signature in database
GPG key ID: CDFA82D8B1132C65

View file

@ -46,6 +46,16 @@ export const getColorSet = (theme: ThemeSetting): IColorSet => {
* Override all syntax tokens * Override all syntax tokens
*/ */
customTokens: [ customTokens: [
{
name: 'Keyword Control',
scope: [
'keyword.control'
],
settings: {
foreground: theme.scheme.base.cyan,
fontStyle: 'italic'
}
},
{ {
name: 'Markdown - Blockquote', name: 'Markdown - Blockquote',
scope: [ scope: [
@ -74,25 +84,6 @@ export const getColorSet = (theme: ThemeSetting): IColorSet => {
foreground: theme.scheme.base.pink foreground: theme.scheme.base.pink
} }
}, },
{
name: 'Other Keywords',
scope: [
'keyword.other'
],
settings: {
foreground: theme.scheme.base.orange
}
},
{
name: 'Keyword Control',
scope: [
'keyword.control'
],
settings: {
foreground: theme.scheme.base.cyan,
fontStyle: 'italic'
}
},
{ {
name: 'JSON Key - Level 0', name: 'JSON Key - Level 0',
scope: [ scope: [