From e74bb03e0b06daab7fb5871f8f08369134e35640 Mon Sep 17 00:00:00 2001 From: Jeremy Tuloup Date: Mon, 1 Nov 2021 16:27:26 +0100 Subject: [PATCH] Remove zen mode keyboard shortcut for now --- packages/application-extension/schema/zen.json | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 packages/application-extension/schema/zen.json diff --git a/packages/application-extension/schema/zen.json b/packages/application-extension/schema/zen.json deleted file mode 100644 index 912ae05a..00000000 --- a/packages/application-extension/schema/zen.json +++ /dev/null @@ -1,14 +0,0 @@ -{ - "title": "RetroLab Zen Mode", - "description": "RetoLab Zen Mode settings.", - "jupyter.lab.shortcuts": [ - { - "command": "application:toggle-zen", - "keys": ["Ctrl Shift U"], - "selector": "body" - } - ], - "properties": {}, - "additionalProperties": false, - "type": "object" -}