notes/hotkeys.json at classical-tips - notes - Shwetha-Base: My local gitea server

This repository has been archived on 2023-07-05. You can view files and clone it, but cannot push or open issues/pull-requests.

10 lines

106 B

JSON

Raw Permalink Blame History

 {
   "editor:toggle-code": [
     {
       "modifiers": [
         "Mod"
       ],
       "key": "3"
     }
   ]
 }