From 6ca485bf1de3138624076b637b52010b417bcf60 Mon Sep 17 00:00:00 2001
From: Dustin Swan <dustin@dustinswan.com>
Date: Wed, 18 Feb 2026 16:27:28 -0700
Subject: [PATCH] padding. esc to close palette

---
 src/cg/05-palette.cg |  1 +
 src/cg/06-tree.cg    | 21 ++++++++++++---------
 2 files changed, 13 insertions(+), 9 deletions(-)

diff --git a/src/cg/05-palette.cg b/src/cg/05-palette.cg
index 06d6611..9641731 100644
--- a/src/cg/05-palette.cg
+++ b/src/cg/05-palette.cg
@@ -97,6 +97,7 @@ palette = config \
         (nth effectiveIndex results
         | Some (Item data) \ { state = state, emit = [onSelect data.label] }
         | _ \ { state = state, emit = [] })
+      | Key { key = "Escape" } \ { state = state, emit = [osState.palette.visible := False] }
       | _ \ { state = state, emit = [] },
 
     view = state emit \
diff --git a/src/cg/06-tree.cg b/src/cg/06-tree.cg
index e13986a..c327f85 100644
--- a/src/cg/06-tree.cg
+++ b/src/cg/06-tree.cg
@@ -211,14 +211,17 @@ tree = config \
       paths = visiblePaths config.value config.path state.expanded;
       selectedPath = (nth state.selectedIndex paths) | Some item \ Some item.path | None \ None;
 
-      scrollable {
-        w = config.w,
-        h = config.h,
-        totalWidth = config.w,
-        totalHeight = totalH,
-        scrollX = 0,
-        scrollY = state.scrollY,
-        onScroll = delta \ emit (Scrolled delta),
-        child = treeNode { value = config.value, path = config.path, depth = 0, expanded = state.expanded, onToggle = onToggle, selectedPath = selectedPath, prefix = "", editing = state.editing, onDoneEditing = onDoneEditing, onEditLeaf = onEditLeaf }
+      ui.padding {
+        amount = 8,
+        child = scrollable {
+          w = config.w,
+          h = config.h,
+          totalWidth = config.w,
+          totalHeight = totalH,
+          scrollX = 0,
+          scrollY = state.scrollY,
+          onScroll = delta \ emit (Scrolled delta),
+          child = treeNode { value = config.value, path = config.path, depth = 0, expanded = state.expanded, onToggle = onToggle, selectedPath = selectedPath, prefix = "", editing = state.editing, onDoneEditing = onDoneEditing, onEditLeaf = onEditLeaf }
+        }
       }
   };