doc: add note about capitalization of map (#132)

jupyterlab-contrib · Jan 18, 2024 · fc42ef6 · fc42ef6
1 parent b7eb0e2
commit fc42ef6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/schema/plugin.json b/schema/plugin.json
@@ -330,7 +330,7 @@
         },
         "keys": {
           "title": "The key sequence to execute",
-          "description": "The 'right hand side' of the keybinding to be executed, e.g. `:noh<cr>`",
+          "description": "The 'right hand side' of the keybinding to be executed, e.g. `:noh<CR>`. non-character keys are written in camel case. e.g. <Esc> or <PageUp>",
           "type": "string"
         },
         "context": {