From 1db8addb722222d138c5e3a1bee9de3ecbf8e484 Mon Sep 17 00:00:00 2001
From: Nick Byrne <byrnen8@tcd.ie>
Date: Tue, 29 Oct 2024 14:12:54 -0300
Subject: [PATCH] Add nicer label to settings

---
 schema/commands.json | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/schema/commands.json b/schema/commands.json
index 35d9101..90882c3 100644
--- a/schema/commands.json
+++ b/schema/commands.json
@@ -1,4 +1,6 @@
 {
+  "jupyter.lab.setting-icon": "ui-components:folder",
+  "jupyter.lab.setting-icon-label": "INSERT LABEL",
   "jupyter.lab.menus": {
     "main": [
       {
@@ -45,7 +47,7 @@
       }
     ]
   },
-  "title": "jupyterlab-jhub-apps",
+  "title": "jhub-apps integration",
   "description": "jupyterlab-jhub-apps custom command settings.",
   "type": "object",
   "properties": {