chore: Update themes

This commit is contained in:
Mattia Astorino 2017-04-24 18:23:28 +02:00
parent ba188773c3
commit 6d011abfb3
6 changed files with 6 additions and 6 deletions

View file

@ -56,7 +56,7 @@ tokenColors:
fontStyle: italic fontStyle: italic
- name: 'Operator, Misc' - name: 'Operator, Misc'
scope: scope:
- keyword.operator - keyword.control
- constant.other.color - constant.other.color
- punctuation - punctuation
- meta.tag - meta.tag

View file

@ -93,7 +93,7 @@
{ {
"name": "Operator, Misc", "name": "Operator, Misc",
"scope": [ "scope": [
"keyword.operator", "keyword.control",
"constant.other.color", "constant.other.color",
"punctuation", "punctuation",
"meta.tag", "meta.tag",

View file

@ -93,7 +93,7 @@
{ {
"name": "Operator, Misc", "name": "Operator, Misc",
"scope": [ "scope": [
"keyword.operator", "keyword.control",
"constant.other.color", "constant.other.color",
"punctuation", "punctuation",
"meta.tag", "meta.tag",

File diff suppressed because one or more lines are too long

View file

@ -93,7 +93,7 @@
{ {
"name": "Operator, Misc", "name": "Operator, Misc",
"scope": [ "scope": [
"keyword.operator", "keyword.control",
"constant.other.color", "constant.other.color",
"punctuation", "punctuation",
"meta.tag", "meta.tag",

View file

@ -93,7 +93,7 @@
{ {
"name": "Operator, Misc", "name": "Operator, Misc",
"scope": [ "scope": [
"keyword.operator", "keyword.control",
"constant.other.color", "constant.other.color",
"punctuation", "punctuation",
"meta.tag", "meta.tag",