From 09b6f3d6ad61783a9af3a01f4544367cb4d23f3a Mon Sep 17 00:00:00 2001 From: krassowski <5832902+krassowski@users.noreply.github.com> Date: Mon, 22 Apr 2024 15:13:03 +0100 Subject: [PATCH] Add settings label/icon --- schema/plugin.json | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/schema/plugin.json b/schema/plugin.json index 2b7763f..af6f68e 100644 --- a/schema/plugin.json +++ b/schema/plugin.json @@ -1,6 +1,8 @@ { "jupyter.lab.shortcuts": [], - "title": "jupyterlab-new-launcher", + "jupyter.lab.setting-icon": "ui-components:launcher", + "jupyter.lab.setting-icon-label": "New Launcher", + "title": "New Launcher", "description": "jupyterlab-new-launcher settings.", "type": "object", "properties": {