Skip to content

Commit 2ff3c9a

Browse files
authored
Revert Python docstring color (microsoft#184938)
Revert b436869 all color themes: treat comment docstrings as comments too (microsoft#182162)
1 parent 68a99e2 commit 2ff3c9a

File tree

14 files changed

+164
-203
lines changed

14 files changed

+164
-203
lines changed

extensions/theme-abyss/themes/abyss-color-theme.json

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -17,11 +17,8 @@
1717
}
1818
},
1919
{
20-
"name": "Comments",
21-
"scope": [
22-
"comment",
23-
"string.quoted.docstring"
24-
],
20+
"name": "Comment",
21+
"scope": "comment",
2522
"settings": {
2623
"foreground": "#384887"
2724
}

extensions/theme-defaults/themes/dark_vs.json

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -57,11 +57,7 @@
5757
}
5858
},
5959
{
60-
"name": "Comments",
61-
"scope": [
62-
"comment",
63-
"string.quoted.docstring"
64-
],
60+
"scope": "comment",
6561
"settings": {
6662
"foreground": "#6A9955"
6763
}

extensions/theme-defaults/themes/hc_black.json

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -43,11 +43,7 @@
4343
}
4444
},
4545
{
46-
"name": "Comments",
47-
"scope": [
48-
"comment",
49-
"string.quoted.docstring"
50-
],
46+
"scope": "comment",
5147
"settings": {
5248
"foreground": "#7ca668"
5349
}

extensions/theme-defaults/themes/hc_light.json

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -27,11 +27,7 @@
2727
}
2828
},
2929
{
30-
"name": "Comments",
31-
"scope": [
32-
"comment",
33-
"string.quoted.docstring"
34-
],
30+
"scope": "comment",
3531
"settings": {
3632
"foreground": "#515151"
3733
}

extensions/theme-defaults/themes/light_vs.json

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -62,11 +62,7 @@
6262
}
6363
},
6464
{
65-
"name": "Comments",
66-
"scope": [
67-
"comment",
68-
"string.quoted.docstring"
69-
],
65+
"scope": "comment",
7066
"settings": {
7167
"foreground": "#008000"
7268
}

extensions/theme-kimbie-dark/themes/kimbie-dark-color-theme.json

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -81,8 +81,7 @@
8181
"name": "Comments",
8282
"scope": [
8383
"comment",
84-
"punctuation.definition.comment",
85-
"string.quoted.docstring"
84+
"punctuation.definition.comment"
8685
],
8786
"settings": {
8887
"foreground": "#a57a4c"

extensions/theme-monokai-dimmed/themes/dimmed-monokai-color-theme.json

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -78,11 +78,8 @@
7878
}
7979
},
8080
{
81-
"name": "Comments",
82-
"scope": [
83-
"comment",
84-
"string.quoted.docstring"
85-
],
81+
"name": "Comment",
82+
"scope": "comment",
8683
"settings": {
8784
"fontStyle": "",
8885
"foreground": "#9A9B99"

extensions/theme-monokai/themes/monokai-color-theme.json

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -118,11 +118,8 @@
118118
}
119119
},
120120
{
121-
"name": "Comments",
122-
"scope": [
123-
"comment",
124-
"string.quoted.docstring"
125-
],
121+
"name": "Comment",
122+
"scope": "comment",
126123
"settings": {
127124
"foreground": "#88846f"
128125
}

extensions/theme-quietlight/themes/quietlight-color-theme.json

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -20,8 +20,7 @@
2020
"name": "Comments",
2121
"scope": [
2222
"comment",
23-
"punctuation.definition.comment",
24-
"string.quoted.docstring"
23+
"punctuation.definition.comment"
2524
],
2625
"settings": {
2726
"fontStyle": "italic",

extensions/theme-red/themes/Red-color-theme.json

Lines changed: 2 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -77,11 +77,8 @@
7777
}
7878
},
7979
{
80-
"name": "Comments",
81-
"scope": [
82-
"comment",
83-
"string.quoted.docstring"
84-
],
80+
"name": "Comment",
81+
"scope": "comment",
8582
"settings": {
8683
"fontStyle": "italic",
8784
"foreground": "#e7c0c0ff"

0 commit comments

Comments
 (0)