blockifier/.vscode/settings.json at wip-250 · glihm/blockifier · GitHub

8000 blockifier/.vscode/settings.json at wip-250 · glihm/blockifier · GitHub

Repository navigation

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

{

"editor.tokenColorCustomizations": {

"textMateRules": [

{

"scope": "googletest.failed",

"settings": {

"foreground": "#f00"

}

},

{

"scope": "googletest.passed",

"settings": {

"foreground": "#0f0"

}

},

{

"scope": "googletest.run",

"settings": {

"foreground": "#0f0"

}

}

]

}

}

0