eduroam-prg-gm-1-3-245.net.univ-paris-diderot.fr 2025-9-19:10:52:38

2025-09-19 10:52:38 +02:00
parent d20832a9c5
commit cacb13f56e
4 changed files with 40 additions and 7 deletions
@@ -533,12 +533,6 @@
        "Ctrl"
      ],
      "key": "="
-    },
-    {
-      "modifiers": [
-        "Ctrl"
-      ],
-      "key": ";"
    }
  ],
  "workspace:previous-tab": [
@@ -1,5 +1,5 @@

-h1 {
+.cm-header-1 {
    color: #ff8700;
 }