aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAleksey Kladov <[email protected]>2020-04-02 14:52:25 +0100
committerAleksey Kladov <[email protected]>2020-04-02 14:52:25 +0100
commit9ca69994af24e677f08f03180632215f9494e4fc (patch)
tree075016a288ce833135ba9a7d1580fde9bb5f3254
parent47a48505a54a08939ef7958243bf8d87aa045bd4 (diff)
Fix semantic coloring
-rw-r--r--editors/code/package.json85
1 files changed, 27 insertions, 58 deletions
diff --git a/editors/code/package.json b/editors/code/package.json
index 9c8cca615..14bdec8c2 100644
--- a/editors/code/package.json
+++ b/editors/code/package.json
@@ -521,65 +521,34 @@
521 "description": "Style for unsafe operations" 521 "description": "Style for unsafe operations"
522 } 522 }
523 ], 523 ],
524 "semanticTokenStyleDefaults": [ 524 "semanticTokenScopes": [
525 { 525 {
526 "selector": "attribute", 526 "language": "rust",
527 "scope": [ 527 "scopes": {
528 "meta.attribute" 528 "attribute": [
529 ] 529 "meta.attribute"
530 }, 530 ],
531 { 531 "builtinType": [
532 "selector": "builtinType", 532 "support.type.primitive"
533 "scope": [ 533 ],
534 "support.type.primitive" 534 "lifetime": [
535 ] 535 "entity.name.lifetime.rust"
536 }, 536 ],
537 { 537 "typeAlias": [
538 "selector": "lifetime", 538 "entity.name.typeAlias"
539 "scope": [ 539 ],
540 "entity.name.lifetime.rust" 540 "union": [
541 ] 541 "entity.name.union"
542 }, 542 ],
543 { 543 "keyword.unsafe": [
544 "selector": "typeAlias", 544 "keyword.other.unsafe"
545 "scope": [ 545 ],
546 "entity.name.typeAlias" 546 "keyword.control": [
547 ] 547 "keyword.control"
548 }, 548 ],
549 { 549 "variable.constant": [
550 "selector": "union", 550 "entity.name.constant"
551 "scope": [ 551 ]
552 "entity.name.union"
553 ]
554 },
555 {
556 "selector": "keyword.unsafe",
557 "scope": [
558 "keyword.other.unsafe"
559 ]
560 },
561 {
562 "selector": "keyword.control",
563 "scope": [
564 "keyword.control"
565 ]
566 },
567 {
568 "selector": "variable.constant",
569 "scope": [
570 "entity.name.constant"
571 ]
572 },
573 {
574 "selector": "*.mutable",
575 "light": {
576 "fontStyle": "underline"
577 },
578 "dark": {
579 "fontStyle": "underline"
580 },
581 "highContrast": {
582 "fontStyle": "underline"
583 } 552 }
584 } 553 }
585 ] 554 ]