Merge pull request #6490 from cquah/issue-6249

Add documentation to the Keyboard Shortcuts component in the Advanced Settings Editor to explain how to disable system default shortcuts.

packages/shortcuts-extension/src/index.ts

@@ -164,8 +164,22 @@ const shortcuts: JupyterFrontEndPlugin<void> = {
         .sort((a, b) => a.command.localeCompare(b.command));
       schema.properties.shortcuts.title =
         'List of Commands (followed by shortcuts)';
+
+      const disableShortcutInstructions = `Note: To disable a system default shortcut,
+copy it to User Preferences and add the
+"disabled" key, for example:
+{
+    "command": "application:activate-next-tab",
+    "keys": [
+        "Ctrl Shift ]"
+    ],
+    "selector": "body",
+    "disabled": true
+}`;
       schema.properties.shortcuts.description = `${commands}
 
+${disableShortcutInstructions}
+
 List of Keyboard Shortcuts`;
     }