@aryacode/dsh-aryacode-polish 0.13.1 → 0.15.2

package/CHANGELOG.md

@@ -1,5 +1,30 @@
 # Changelog
 
+## [0.15.2] - 2026-10-28
+
+### Added
+- **Density modes.** A control in the tree header switches between comfortable and
+  compact rows, and the choice is remembered (`aryacode-polish:density.v1`). Density
+  changes row height only — the text size stays readable.
+
+### Fixed
+- **Expand all now expands folders too.** The header button only flipped workspace rows, so a
+  folded folder kept its workspaces hidden while the button claimed everything was open.
+- **Archived sessions no longer sit in their workspace.** The tree now reads
+  `archivedSessionIds` (it never did) and shows those sessions in a collapsed
+  **Archived** section at the bottom, each one restorable from its own menu.
+
+## [0.14.0] - 2026-10-28
+
+### Added
+
+- **Quick switcher.** Ctrl/⌘-K (or Cmd-K) opens a palette over everything: every session
+  in every workspace, ranked so a prefix beats a mention, arrows to walk, Enter to open,
+  Escape to dismiss. Rows show the session title and the workspace it lives in.
+- **Folded state persists.** Which workspaces and which folders are collapsed is kept
+  under `aryacode-polish:folded.v1`, so reopening the app looks like it did on the way
+  out. A storage that refuses costs the memory and nothing else.
+
 ## [0.13.1] - 2026-10-28
 
 ### Added

package/client/workspace.js

@@ -202,7 +202,7 @@ const WS_ROW = {
   gap: '6px',
   boxSizing: 'border-box',
   width: '100%',
-  height: '28px',
+  height: 'var(--polish-ws-row, 28px)',
   padding: '0 6px',
   border: 'none',
   borderRadius: 'var(--dsw-radius-sm, 6px)',
@@ -384,6 +384,183 @@ export function moveBefore(list, movingId, beforeId) {
 
 const LOOK_KEY = 'aryacode-polish:workspace-appearance.v1'
 const ORDER_KEY = 'aryacode-polish:workspace-order.v1'
+const FOLD_KEY = 'aryacode-polish:folded.v1'
+const DENSITY_KEY = 'aryacode-polish:density.v1'
+
+export const DENSITIES = ['comfortable', 'compact']
+
+/** Row height per density: the tree fits more rows without shrinking the text. */
+export const DENSITY_METRICS = {
+  comfortable: { row: '28px' },
+  compact: { row: '22px' },
+}
+
+export function densityOf(value) {
+  return value === 'compact' ? 'compact' : 'comfortable'
+}
+
+export function readDensity(storage) {
+  try {
+    const store = storage || (typeof localStorage === 'undefined' ? undefined : localStorage)
+    if (!store) return 'comfortable'
+    return densityOf(store.getItem(DENSITY_KEY))
+  } catch {
+    return 'comfortable'
+  }
+}
+
+export function writeDensity(value, storage) {
+  try {
+    const store = storage || (typeof localStorage === 'undefined' ? undefined : localStorage)
+    if (!store) return
+    store.setItem(DENSITY_KEY, densityOf(value))
+  } catch {
+    /* remembering this is a nicety, not a requirement */
+  }
+}
+
+/**
+ * Split the flat session list into the rows a workspace shows and the ones it has
+ * archived. The shipped browser hides archived sessions; here they keep a section of
+ * their own at the bottom instead of disappearing without a trace.
+ */
+export function splitArchived(sessions, archivedIds) {
+  const archive = archivedIds instanceof Set ? archivedIds : new Set(archivedIds || [])
+  const active = []
+  const archived = []
+  for (const session of Array.isArray(sessions) ? sessions : []) {
+    if (archive.has(session.id)) archived.push(session)
+    else active.push(session)
+  }
+  return { active, archived }
+}
+
+const WS_SECTION = {
+  display: 'flex',
+  alignItems: 'center',
+  gap: '5px',
+  padding: '8px 6px 2px',
+  textTransform: 'uppercase',
+  letterSpacing: '0.04em',
+  color: 'var(--dsw-alias-label-quaternary, #8a8a8a)',
+  fontSize: 'calc(' + 'var(--dsh-content-font-size-secondary, 13px)' + ' - 3px)',
+  cursor: 'pointer',
+  userSelect: 'none',
+}
+
+/** Which workspaces and folders are folded, kept so a restart looks like yesterday. */
+export function readFolded(storage) {
+  try {
+    const store = storage || (typeof localStorage === 'undefined' ? undefined : localStorage)
+    if (!store) return { workspaces: {}, folders: {} }
+    const raw = store.getItem(FOLD_KEY)
+    if (!raw) return { workspaces: {}, folders: {} }
+    const parsed = JSON.parse(raw)
+    return {
+      workspaces: (parsed && parsed.workspaces) || {},
+      folders: (parsed && parsed.folders) || {},
+    }
+  } catch {
+    return { workspaces: {}, folders: {} }
+  }
+}
+
+export function writeFolded(state, storage) {
+  try {
+    const store = storage || (typeof localStorage === 'undefined' ? undefined : localStorage)
+    if (!store) return
+    const clean = {
+      workspaces: (state && state.workspaces) || {},
+      folders: (state && state.folders) || {},
+    }
+    store.setItem(FOLD_KEY, JSON.stringify(clean))
+  } catch {
+    /* folding is a convenience; a store that refuses must not break the tree */
+  }
+}
+
+/**
+ * Rank the quick switcher's rows. A title that starts with the query wins over one
+ * that merely contains it, and equal kinds keep the order they arrived in — so
+ * typing "gre" puts Greeting above anything that mentions greeting later on.
+ */
+export function rankMatches(items, query, text = (item) => String(item.title || item.id || '')) {
+  const list = Array.isArray(items) ? items : []
+  const needle = String(query || '').trim().toLowerCase()
+  if (!needle) return list.slice(0, 40)
+  const scored = []
+  list.forEach((item, order) => {
+    const hay = text(item).toLowerCase()
+    const at = hay.indexOf(needle)
+    if (at === -1) return
+    scored.push({ item, rank: at === 0 ? 0 : 1, order })
+  })
+  scored.sort((a, b) => (a.rank - b.rank) || (a.order - b.order))
+  return scored.slice(0, 40).map((entry) => entry.item)
+}
+
+const SWITCHER_BACKDROP = {
+  position: 'fixed',
+  inset: 0,
+  zIndex: 1300,
+  display: 'flex',
+  alignItems: 'flex-start',
+  justifyContent: 'center',
+  paddingTop: '12vh',
+  background: 'rgba(16, 18, 22, 0.28)',
+}
+
+const SWITCHER_CARD = {
+  width: 'min(560px, calc(100vw - 32px))',
+  maxHeight: '60vh',
+  overflow: 'hidden',
+  display: 'flex',
+  flexDirection: 'column',
+  borderRadius: 'var(--dsw-radius-lg, 10px)',
+  border: '0.5px solid var(--dsw-alias-border-l2, rgba(0,0,0,0.12))',
+  background: 'Canvas',
+  boxShadow: 'var(--dsw-elevation-prominent, 0 8px 24px rgba(0,0,0,0.18))',
+  color: 'var(--dsw-alias-label-primary, #1b1d21)',
+}
+
+const SWITCHER_INPUT = {
+  border: 'none',
+  borderBottom: '0.5px solid var(--dsw-alias-border-l2, rgba(0,0,0,0.12))',
+  background: 'transparent',
+  color: 'inherit',
+  fontSize: '14px',
+  padding: '12px 14px',
+  outline: 'none',
+}
+
+const SWITCHER_LIST = {
+  overflowY: 'auto',
+  padding: '4px',
+  display: 'flex',
+  flexDirection: 'column',
+  gap: '1px',
+}
+
+const SWITCHER_ROW = {
+  display: 'flex',
+  alignItems: 'center',
+  gap: '8px',
+  padding: '7px 10px',
+  border: 'none',
+  borderRadius: 'var(--dsw-radius-sm, 6px)',
+  background: 'transparent',
+  color: 'inherit',
+  fontSize: '13px',
+  textAlign: 'left',
+  cursor: 'pointer',
+}
+
+const SWITCHER_HINT = {
+  flex: 'none',
+  color: 'var(--dsw-alias-label-quaternary, #8a8a8a)',
+  fontSize: '11px',
+  fontVariantNumeric: 'tabular-nums',
+}
 
 /**
  * A workspace whose label carries a path ("Work/Client A") files itself under
@@ -586,7 +763,7 @@ export function BetterWorkspace(props) {
   const services = props.services || {}
   const { ctx, slots } = services
   const standard = { wide: props.wide === true, expandSidebar: props.expandSidebar }
-  const [expanded, setExpanded] = React.useState({})
+  const [expanded, setExpanded] = React.useState(() => readFolded().workspaces)
   const [menu, setMenu] = React.useState(null)
   const [armed, setArmed] = React.useState(null)
   const [adding, setAdding] = React.useState(false)
@@ -597,7 +774,12 @@ export function BetterWorkspace(props) {
   const [drag, setDrag] = React.useState(null)
   const [dropping, setDropping] = React.useState(null)
   const [look, setLook] = React.useState(() => readAppearance())
-  const [folders, setFolders] = React.useState({})
+  const folded = React.useMemo(() => readFolded(), [])
+  const [folders, setFolders] = React.useState(folded.folders)
+  const [switcher, setSwitcher] = React.useState(null)
+  const [density, setDensity] = React.useState(() => readDensity())
+  const [archiveOpen, setArchiveOpen] = React.useState(false)
+  React.useEffect(() => { writeFolded({ workspaces: expanded, folders }) }, [expanded, folders])
   const [renaming, setRenaming] = React.useState(null)
   const commitRename = async () => {
     const draft = renaming
@@ -632,7 +814,11 @@ export function BetterWorkspace(props) {
     () => new Set((workspaceState && workspaceState.pinnedSessionIds) || []),
     [workspaceState],
   )
-  const allRows = workspaceRows(workspaceList, sessionList)
+  const metrics = DENSITY_METRICS[densityOf(density)]
+  const archiveSet = new Set((workspaceState && workspaceState.archivedSessionIds) || [])
+  const split = splitArchived(sessionList, archiveSet)
+  const allRows = workspaceRows(workspaceList, split.active)
+  const archivedSessions = split.archived
   const rows = filterTree(allRows, query, pinned)
   const folderOf = (workspace) => folderKey(workspace)
   const visibleRows = rows.filter((group) => {
@@ -645,7 +831,12 @@ export function BetterWorkspace(props) {
   const entries = React.useMemo(() => rowMenuEntries(slots), [slots, workspaceList.length, sessionList.length])
   const totalCount = allRows.reduce((sum, row) => sum + row.sessions.length, 0)
   const shownCount = rows.reduce((sum, row) => sum + row.sessions.length, 0)
-  const allFolded = rows.length > 0 && rows.every(row => expanded[row.workspace.workspaceId] === false)
+  const folderNames = Array.from(new Set(rows.map(row => folderKey(row.workspace)).filter(Boolean)))
+  // One click should always do the useful thing: if anything is folded, the button
+  // expands everything (folders included); only when nothing is folded does it fold.
+  const anyFolded = rows.some(row => expanded[row.workspace.workspaceId] === false)
+    || folderNames.some(name => folders[name] === true)
+  const allFolded = rows.length > 0 && !anyFolded
 
   React.useEffect(() => {
     if (cursor >= walk.length) setCursor(walk.length - 1)
@@ -664,6 +855,36 @@ export function BetterWorkspace(props) {
     return () => document.removeEventListener('keydown', onShortcut)
   }, [])
 
+  React.useEffect(() => {
+    const onOpen = (event) => {
+      const key = (event.key || '').toLowerCase()
+      if (!(event.ctrlKey || event.metaKey) || key !== 'k') return
+      event.preventDefault()
+      setSwitcher((prev) => (prev ? null : { query: '', index: 0 }))
+    }
+    const onEscape = (event) => {
+      if (event.key === 'Escape') setSwitcher(null)
+    }
+    document.addEventListener('keydown', onOpen)
+    document.addEventListener('keydown', onEscape)
+    return () => {
+      document.removeEventListener('keydown', onOpen)
+      document.removeEventListener('keydown', onEscape)
+    }
+  }, [])
+
+  const switchItems = React.useMemo(() => {
+    const items = []
+    allRows.forEach((group) => {
+      const workspace = workspaceLabel(group.workspace)
+      group.sessions.forEach((row) => {
+        items.push({ id: row.id, title: row.displayTitle || row.id, workspace })
+      })
+    })
+    return items
+  }, [allRows])
+  const switchHits = switcher ? rankMatches(switchItems, switcher.query) : []
+
   const openMenu = (event, row, workspace) => {
     event.preventDefault()
     event.stopPropagation()
@@ -685,10 +906,17 @@ export function BetterWorkspace(props) {
     })
   }
   const foldAll = () => {
-    if (allFolded) { setExpanded({}); return }
+    if (anyFolded) {
+      setExpanded({})
+      setFolders({})
+      return
+    }
     const next = {}
     rows.forEach((row) => { next[row.workspace.workspaceId] = false })
+    const nextFolders = {}
+    folderNames.forEach((name) => { nextFolders[name] = true })
     setExpanded(next)
+    setFolders(nextFolders)
   }
 
   const reorderWorkspace = async (movingId, beforeId) => {
@@ -832,6 +1060,25 @@ export function BetterWorkspace(props) {
       }, armed && armed === menu.workspace.workspaceId ? 'Remove workspace?' : 'Remove workspace'))
     : null
 
+  const archivedMenu = menu && menu.kind === 'archived'
+    ? React.createElement(RowMenu, { anchor: menu.anchor, onClose: closeMenu },
+      React.createElement('button', {
+        type: 'button',
+        'data-polish-ws-unarchive': menu.row.id,
+        style: WS_MENU_ITEM,
+        onClick: async () => {
+          const row = menu.row
+          closeMenu()
+          try {
+            await services.unarchiveSession(row.id)
+            setNotice('Restored that session.')
+          } catch {
+            setNotice('Could not restore that session.')
+          }
+        },
+      }, 'Unarchive session'))
+    : null
+
   const paintMenu = menu && menu.kind === 'paint'
     ? (() => {
       const workspace = menu.workspace
@@ -882,6 +1129,56 @@ export function BetterWorkspace(props) {
       null)
     : null
 
+  const switcherCard = switcher
+    ? ReactDOM.createPortal(React.createElement('div', {
+      'data-polish-switcher': 'open',
+      style: SWITCHER_BACKDROP,
+      onPointerDown: (event) => { if (event.target === event.currentTarget) setSwitcher(null) },
+    },
+    React.createElement('div', { style: SWITCHER_CARD },
+      React.createElement('input', {
+        'data-polish-switcher-input': 'true',
+        autoFocus: true,
+        value: switcher.query,
+        placeholder: 'Jump to a session…',
+        'aria-label': 'Jump to a session',
+        style: SWITCHER_INPUT,
+        onChange: (event) => setSwitcher(Object.assign({}, switcher, { query: event.target.value, index: 0 })),
+        onKeyDown: (event) => {
+          if (event.key === 'ArrowDown' || event.key === 'ArrowUp') {
+            if (switchHits.length === 0) return
+            event.preventDefault()
+            const step = event.key === 'ArrowDown' ? 1 : -1
+            const next = (switcher.index + step + switchHits.length) % switchHits.length
+            setSwitcher(Object.assign({}, switcher, { index: next }))
+            return
+          }
+          if (event.key === 'Enter') {
+            const hit = switchHits[switcher.index]
+            if (!hit) return
+            event.preventDefault()
+            setSwitcher(null)
+            services.openSession(hit.id)
+          }
+        },
+      }),
+      React.createElement('div', { 'data-polish-switcher-list': 'true', style: SWITCHER_LIST },
+        switchHits.length === 0
+          ? React.createElement('div', { style: Object.assign({}, SWITCHER_ROW, { cursor: 'default' }) }, 'No session matches that.')
+          : switchHits.map((hit, at) => React.createElement('button', {
+            key: hit.id,
+            type: 'button',
+            'data-polish-switcher-row': hit.id,
+            style: Object.assign({}, SWITCHER_ROW, {
+              background: at === switcher.index ? 'var(--dsw-alias-interactive-bg-hover, rgba(0,0,0,0.06))' : 'transparent',
+            }),
+            onPointerDown: (event) => event.preventDefault(),
+            onClick: () => { setSwitcher(null); services.openSession(hit.id) },
+          },
+          React.createElement('span', { style: WS_TITLE }, hit.title),
+          React.createElement('span', { style: SWITCHER_HINT }, hit.workspace)))))), document.body)
+    : null
+
   const children = []
 
   children.push(React.createElement('div', { key: 'header', 'data-polish-ws': 'header', style: WS_HEADER },
@@ -895,6 +1192,19 @@ export function BetterWorkspace(props) {
       style: WS_ADD,
       onClick: foldAll,
     }, allFolded ? '⌄' : '⌃'),
+    React.createElement('button', {
+      key: 'density',
+      type: 'button',
+      'data-polish-ws-density': densityOf(density),
+      title: densityOf(density) === 'compact' ? 'Use comfortable rows' : 'Use compact rows',
+      'aria-label': densityOf(density) === 'compact' ? 'Use comfortable rows' : 'Use compact rows',
+      style: WS_ADD,
+      onClick: () => {
+        const next = densityOf(density) === 'compact' ? 'comfortable' : 'compact'
+        setDensity(next)
+        writeDensity(next)
+      },
+    }, densityOf(density) === 'compact' ? '≡' : '≣'),
     React.createElement('button', {
       key: 'add',
       type: 'button',
@@ -1103,6 +1413,36 @@ export function BetterWorkspace(props) {
     }
   })
 
+  if (archivedSessions.length > 0) {
+    children.push(React.createElement('div', {
+      key: 'archived-head',
+      'data-polish-ws-archived': 'head',
+      style: WS_SECTION,
+      onClick: () => setArchiveOpen((open) => !open),
+    },
+    React.createElement('span', { 'aria-hidden': 'true' }, archiveOpen ? '⌄' : '›'),
+    React.createElement('span', { style: WS_TITLE }, 'Archived'),
+    React.createElement('span', { style: WS_COUNT }, String(archivedSessions.length))))
+
+    if (archiveOpen) {
+      for (const row of archivedSessions) {
+        children.push(React.createElement('div', {
+          key: 'archived:' + row.id,
+          'data-polish-ws-archived-row': row.id,
+          title: 'Archived session',
+          style: Object.assign({}, WS_ROW, { opacity: 0.7, fontStyle: 'italic' }),
+          onClick: () => services.openSession(row.id),
+          onContextMenu: (event) => {
+            event.preventDefault()
+            event.stopPropagation()
+            setMenu({ kind: 'archived', row, anchor: { top: event.clientY, left: event.clientX } })
+          },
+        },
+        React.createElement('span', { style: WS_TITLE }, row.displayTitle || row.id)))
+      }
+    }
+  }
+
   return React.createElement('div', {
     'data-polish-ws': 'tree',
     tabIndex: 0,
@@ -1119,13 +1459,16 @@ export function BetterWorkspace(props) {
       overflowX: 'hidden',
       padding: '2px 6px 12px',
       outline: 'none',
+      '--polish-ws-row': metrics.row,
     },
   },
   children,
   shownCount < totalCount
     ? React.createElement('div', { key: 'count', style: WS_COUNT_NOTE }, String(shownCount) + ' of ' + String(totalCount) + ' sessions')
     : null,
+  switcherCard,
   sessionMenu,
+  archivedMenu,
   paintMenu,
   workspaceMenu)
 }
@@ -1252,6 +1595,7 @@ export function installWorkspaceSeat(ctx, configForms, extras = {}) {
             reorderSession: (workspaceId, movingId, beforeId) => seated.workspaces.insertSessionBefore(workspaceId, movingId, beforeId),
             removeWorkspace: (id) => seated.workspaces.delete(id),
             renameWorkspace: (id, title) => seated.workspaces.rename(id, title),
+            unarchiveSession: (id) => seated.workspaces.unarchiveSession(id),
             openFolder: async (path) => {
               const answer = await seated.remote.session.openWorkspacePath({ path })
               if (answer && answer.ok === false) throw new Error('cannot open the folder')

package/docs/better-workspace.md

@@ -134,3 +134,45 @@ offers exactly one reorder verb (`insertBefore(movingId, beforeId)`), so restori
 one move per workspace that sits in the wrong slot. Ids the Host no longer has are
 filtered out first, so a preset that names a deleted workspace cannot shuffle the
 survivors into the wrong places.
+
+## Quick switcher
+
+Ctrl/⌘-K opens a palette over every session in every workspace: the list is
+`rankMatches(allSessions, query)`, which scores a title that *starts* with the query
+above one that merely mentions it and keeps arrival order inside a rank (so "gre" puts
+Greeting above later mentions). Arrows walk, Enter opens the session through
+`uiWorkspace.openSession`, Escape or a backdrop click dismisses. It is portalled to
+`document.body` with its own backdrop, so neither the sidebar's scroll container nor a
+panel's stacking context can clip it.
+
+## Folded state
+
+`expanded` (workspaces) and `folders` (title folders) are seeded from
+`aryacode-polish:folded.v1` and written back whenever either changes, so a restart looks
+like the way out. Verified across a real restart: folding `WORK` left
+`{"workspaces":{},"folders":{"Work":true}}` in storage and the folder still read `› WORK 2`
+with its workspace hidden.
+
+## Density
+
+The header carries a density control that flips between comfortable (28 px rows) and
+compact (22 px rows), remembered under `aryacode-polish:density.v1`. Density changes row
+height only: the text keeps its size, so a compact tree is still readable on a laptop.
+The row height travels through the CSS variable `--polish-ws-row`, which the tree element
+sets from `DENSITY_METRICS`; nothing else in the row styling depends on the mode.
+
+## Archived sessions
+
+Archiving a session removes it from its workspace — that is what the Host means by
+archived, and the shipped browser simply stops rendering it. Here those sessions keep a
+collapsed **Archived** section at the bottom of the tree instead, dimmed and italic, with
+their count on the header. Clicking one opens it; right-clicking offers **Unarchive
+session**, which goes through `workspaces.unarchiveSession`. This also fixed a real gap:
+before this, `workspaceRows` never consulted `archivedSessionIds`, so archived sessions
+were being rendered inline in their workspace as if they were live.
+
+## Folding everything
+
+The header's fold control expands when anything is folded (folders included) and folds
+only when nothing is. An earlier version only looked at workspace rows, so a folded
+folder left the button saying "Expand all" while its workspaces stayed hidden.

package/lib/client.js

@@ -53,7 +53,7 @@ window.__ModuleLoader__.load({
     ]
     const ROW_ID = "polish"
     const ROW_KEY = "@aryacode/dsh-aryacode-polish" + '#' + ROW_ID
-    const CLIENT_VERSION = "0.13.1"
+    const CLIENT_VERSION = "0.15.2"
 
 /* html2canvas 1.4.1 — MIT, vendored from vendor/html2canvas.min.js.
  * A UMD build, so it assigns itself to globalThis; face.js reads it lazily. */
@@ -403,7 +403,7 @@ window.__ModuleLoader__.load({
       gap: '6px',
       boxSizing: 'border-box',
       width: '100%',
-      height: '28px',
+      height: 'var(--polish-ws-row, 28px)',
       padding: '0 6px',
       border: 'none',
       borderRadius: 'var(--dsw-radius-sm, 6px)',
@@ -585,6 +585,183 @@ window.__ModuleLoader__.load({
 
     const LOOK_KEY = 'aryacode-polish:workspace-appearance.v1'
     const ORDER_KEY = 'aryacode-polish:workspace-order.v1'
+    const FOLD_KEY = 'aryacode-polish:folded.v1'
+    const DENSITY_KEY = 'aryacode-polish:density.v1'
+
+    const DENSITIES = ['comfortable', 'compact']
+
+    /** Row height per density: the tree fits more rows without shrinking the text. */
+    const DENSITY_METRICS = {
+      comfortable: { row: '28px' },
+      compact: { row: '22px' },
+    }
+
+    function densityOf(value) {
+      return value === 'compact' ? 'compact' : 'comfortable'
+    }
+
+    function readDensity(storage) {
+      try {
+        const store = storage || (typeof localStorage === 'undefined' ? undefined : localStorage)
+        if (!store) return 'comfortable'
+        return densityOf(store.getItem(DENSITY_KEY))
+      } catch {
+        return 'comfortable'
+      }
+    }
+
+    function writeDensity(value, storage) {
+      try {
+        const store = storage || (typeof localStorage === 'undefined' ? undefined : localStorage)
+        if (!store) return
+        store.setItem(DENSITY_KEY, densityOf(value))
+      } catch {
+        /* remembering this is a nicety, not a requirement */
+      }
+    }
+
+    /**
+     * Split the flat session list into the rows a workspace shows and the ones it has
+     * archived. The shipped browser hides archived sessions; here they keep a section of
+     * their own at the bottom instead of disappearing without a trace.
+     */
+    function splitArchived(sessions, archivedIds) {
+      const archive = archivedIds instanceof Set ? archivedIds : new Set(archivedIds || [])
+      const active = []
+      const archived = []
+      for (const session of Array.isArray(sessions) ? sessions : []) {
+        if (archive.has(session.id)) archived.push(session)
+        else active.push(session)
+      }
+      return { active, archived }
+    }
+
+    const WS_SECTION = {
+      display: 'flex',
+      alignItems: 'center',
+      gap: '5px',
+      padding: '8px 6px 2px',
+      textTransform: 'uppercase',
+      letterSpacing: '0.04em',
+      color: 'var(--dsw-alias-label-quaternary, #8a8a8a)',
+      fontSize: 'calc(' + 'var(--dsh-content-font-size-secondary, 13px)' + ' - 3px)',
+      cursor: 'pointer',
+      userSelect: 'none',
+    }
+
+    /** Which workspaces and folders are folded, kept so a restart looks like yesterday. */
+    function readFolded(storage) {
+      try {
+        const store = storage || (typeof localStorage === 'undefined' ? undefined : localStorage)
+        if (!store) return { workspaces: {}, folders: {} }
+        const raw = store.getItem(FOLD_KEY)
+        if (!raw) return { workspaces: {}, folders: {} }
+        const parsed = JSON.parse(raw)
+        return {
+          workspaces: (parsed && parsed.workspaces) || {},
+          folders: (parsed && parsed.folders) || {},
+        }
+      } catch {
+        return { workspaces: {}, folders: {} }
+      }
+    }
+
+    function writeFolded(state, storage) {
+      try {
+        const store = storage || (typeof localStorage === 'undefined' ? undefined : localStorage)
+        if (!store) return
+        const clean = {
+          workspaces: (state && state.workspaces) || {},
+          folders: (state && state.folders) || {},
+        }
+        store.setItem(FOLD_KEY, JSON.stringify(clean))
+      } catch {
+        /* folding is a convenience; a store that refuses must not break the tree */
+      }
+    }
+
+    /**
+     * Rank the quick switcher's rows. A title that starts with the query wins over one
+     * that merely contains it, and equal kinds keep the order they arrived in — so
+     * typing "gre" puts Greeting above anything that mentions greeting later on.
+     */
+    function rankMatches(items, query, text = (item) => String(item.title || item.id || '')) {
+      const list = Array.isArray(items) ? items : []
+      const needle = String(query || '').trim().toLowerCase()
+      if (!needle) return list.slice(0, 40)
+      const scored = []
+      list.forEach((item, order) => {
+        const hay = text(item).toLowerCase()
+        const at = hay.indexOf(needle)
+        if (at === -1) return
+        scored.push({ item, rank: at === 0 ? 0 : 1, order })
+      })
+      scored.sort((a, b) => (a.rank - b.rank) || (a.order - b.order))
+      return scored.slice(0, 40).map((entry) => entry.item)
+    }
+
+    const SWITCHER_BACKDROP = {
+      position: 'fixed',
+      inset: 0,
+      zIndex: 1300,
+      display: 'flex',
+      alignItems: 'flex-start',
+      justifyContent: 'center',
+      paddingTop: '12vh',
+      background: 'rgba(16, 18, 22, 0.28)',
+    }
+
+    const SWITCHER_CARD = {
+      width: 'min(560px, calc(100vw - 32px))',
+      maxHeight: '60vh',
+      overflow: 'hidden',
+      display: 'flex',
+      flexDirection: 'column',
+      borderRadius: 'var(--dsw-radius-lg, 10px)',
+      border: '0.5px solid var(--dsw-alias-border-l2, rgba(0,0,0,0.12))',
+      background: 'Canvas',
+      boxShadow: 'var(--dsw-elevation-prominent, 0 8px 24px rgba(0,0,0,0.18))',
+      color: 'var(--dsw-alias-label-primary, #1b1d21)',
+    }
+
+    const SWITCHER_INPUT = {
+      border: 'none',
+      borderBottom: '0.5px solid var(--dsw-alias-border-l2, rgba(0,0,0,0.12))',
+      background: 'transparent',
+      color: 'inherit',
+      fontSize: '14px',
+      padding: '12px 14px',
+      outline: 'none',
+    }
+
+    const SWITCHER_LIST = {
+      overflowY: 'auto',
+      padding: '4px',
+      display: 'flex',
+      flexDirection: 'column',
+      gap: '1px',
+    }
+
+    const SWITCHER_ROW = {
+      display: 'flex',
+      alignItems: 'center',
+      gap: '8px',
+      padding: '7px 10px',
+      border: 'none',
+      borderRadius: 'var(--dsw-radius-sm, 6px)',
+      background: 'transparent',
+      color: 'inherit',
+      fontSize: '13px',
+      textAlign: 'left',
+      cursor: 'pointer',
+    }
+
+    const SWITCHER_HINT = {
+      flex: 'none',
+      color: 'var(--dsw-alias-label-quaternary, #8a8a8a)',
+      fontSize: '11px',
+      fontVariantNumeric: 'tabular-nums',
+    }
 
     /**
      * A workspace whose label carries a path ("Work/Client A") files itself under
@@ -787,7 +964,7 @@ window.__ModuleLoader__.load({
       const services = props.services || {}
       const { ctx, slots } = services
       const standard = { wide: props.wide === true, expandSidebar: props.expandSidebar }
-      const [expanded, setExpanded] = React.useState({})
+      const [expanded, setExpanded] = React.useState(() => readFolded().workspaces)
       const [menu, setMenu] = React.useState(null)
       const [armed, setArmed] = React.useState(null)
       const [adding, setAdding] = React.useState(false)
@@ -798,7 +975,12 @@ window.__ModuleLoader__.load({
       const [drag, setDrag] = React.useState(null)
       const [dropping, setDropping] = React.useState(null)
       const [look, setLook] = React.useState(() => readAppearance())
-      const [folders, setFolders] = React.useState({})
+      const folded = React.useMemo(() => readFolded(), [])
+      const [folders, setFolders] = React.useState(folded.folders)
+      const [switcher, setSwitcher] = React.useState(null)
+      const [density, setDensity] = React.useState(() => readDensity())
+      const [archiveOpen, setArchiveOpen] = React.useState(false)
+      React.useEffect(() => { writeFolded({ workspaces: expanded, folders }) }, [expanded, folders])
       const [renaming, setRenaming] = React.useState(null)
       const commitRename = async () => {
         const draft = renaming
@@ -833,7 +1015,11 @@ window.__ModuleLoader__.load({
         () => new Set((workspaceState && workspaceState.pinnedSessionIds) || []),
         [workspaceState],
       )
-      const allRows = workspaceRows(workspaceList, sessionList)
+      const metrics = DENSITY_METRICS[densityOf(density)]
+      const archiveSet = new Set((workspaceState && workspaceState.archivedSessionIds) || [])
+      const split = splitArchived(sessionList, archiveSet)
+      const allRows = workspaceRows(workspaceList, split.active)
+      const archivedSessions = split.archived
       const rows = filterTree(allRows, query, pinned)
       const folderOf = (workspace) => folderKey(workspace)
       const visibleRows = rows.filter((group) => {
@@ -846,7 +1032,12 @@ window.__ModuleLoader__.load({
       const entries = React.useMemo(() => rowMenuEntries(slots), [slots, workspaceList.length, sessionList.length])
       const totalCount = allRows.reduce((sum, row) => sum + row.sessions.length, 0)
       const shownCount = rows.reduce((sum, row) => sum + row.sessions.length, 0)
-      const allFolded = rows.length > 0 && rows.every(row => expanded[row.workspace.workspaceId] === false)
+      const folderNames = Array.from(new Set(rows.map(row => folderKey(row.workspace)).filter(Boolean)))
+      // One click should always do the useful thing: if anything is folded, the button
+      // expands everything (folders included); only when nothing is folded does it fold.
+      const anyFolded = rows.some(row => expanded[row.workspace.workspaceId] === false)
+        || folderNames.some(name => folders[name] === true)
+      const allFolded = rows.length > 0 && !anyFolded
 
       React.useEffect(() => {
         if (cursor >= walk.length) setCursor(walk.length - 1)
@@ -865,6 +1056,36 @@ window.__ModuleLoader__.load({
         return () => document.removeEventListener('keydown', onShortcut)
       }, [])
 
+      React.useEffect(() => {
+        const onOpen = (event) => {
+          const key = (event.key || '').toLowerCase()
+          if (!(event.ctrlKey || event.metaKey) || key !== 'k') return
+          event.preventDefault()
+          setSwitcher((prev) => (prev ? null : { query: '', index: 0 }))
+        }
+        const onEscape = (event) => {
+          if (event.key === 'Escape') setSwitcher(null)
+        }
+        document.addEventListener('keydown', onOpen)
+        document.addEventListener('keydown', onEscape)
+        return () => {
+          document.removeEventListener('keydown', onOpen)
+          document.removeEventListener('keydown', onEscape)
+        }
+      }, [])
+
+      const switchItems = React.useMemo(() => {
+        const items = []
+        allRows.forEach((group) => {
+          const workspace = workspaceLabel(group.workspace)
+          group.sessions.forEach((row) => {
+            items.push({ id: row.id, title: row.displayTitle || row.id, workspace })
+          })
+        })
+        return items
+      }, [allRows])
+      const switchHits = switcher ? rankMatches(switchItems, switcher.query) : []
+
       const openMenu = (event, row, workspace) => {
         event.preventDefault()
         event.stopPropagation()
@@ -886,10 +1107,17 @@ window.__ModuleLoader__.load({
         })
       }
       const foldAll = () => {
-        if (allFolded) { setExpanded({}); return }
+        if (anyFolded) {
+          setExpanded({})
+          setFolders({})
+          return
+        }
         const next = {}
         rows.forEach((row) => { next[row.workspace.workspaceId] = false })
+        const nextFolders = {}
+        folderNames.forEach((name) => { nextFolders[name] = true })
         setExpanded(next)
+        setFolders(nextFolders)
       }
 
       const reorderWorkspace = async (movingId, beforeId) => {
@@ -1033,6 +1261,25 @@ window.__ModuleLoader__.load({
           }, armed && armed === menu.workspace.workspaceId ? 'Remove workspace?' : 'Remove workspace'))
         : null
 
+      const archivedMenu = menu && menu.kind === 'archived'
+        ? React.createElement(RowMenu, { anchor: menu.anchor, onClose: closeMenu },
+          React.createElement('button', {
+            type: 'button',
+            'data-polish-ws-unarchive': menu.row.id,
+            style: WS_MENU_ITEM,
+            onClick: async () => {
+              const row = menu.row
+              closeMenu()
+              try {
+                await services.unarchiveSession(row.id)
+                setNotice('Restored that session.')
+              } catch {
+                setNotice('Could not restore that session.')
+              }
+            },
+          }, 'Unarchive session'))
+        : null
+
       const paintMenu = menu && menu.kind === 'paint'
         ? (() => {
           const workspace = menu.workspace
@@ -1083,6 +1330,56 @@ window.__ModuleLoader__.load({
           null)
         : null
 
+      const switcherCard = switcher
+        ? ReactDOM.createPortal(React.createElement('div', {
+          'data-polish-switcher': 'open',
+          style: SWITCHER_BACKDROP,
+          onPointerDown: (event) => { if (event.target === event.currentTarget) setSwitcher(null) },
+        },
+        React.createElement('div', { style: SWITCHER_CARD },
+          React.createElement('input', {
+            'data-polish-switcher-input': 'true',
+            autoFocus: true,
+            value: switcher.query,
+            placeholder: 'Jump to a session…',
+            'aria-label': 'Jump to a session',
+            style: SWITCHER_INPUT,
+            onChange: (event) => setSwitcher(Object.assign({}, switcher, { query: event.target.value, index: 0 })),
+            onKeyDown: (event) => {
+              if (event.key === 'ArrowDown' || event.key === 'ArrowUp') {
+                if (switchHits.length === 0) return
+                event.preventDefault()
+                const step = event.key === 'ArrowDown' ? 1 : -1
+                const next = (switcher.index + step + switchHits.length) % switchHits.length
+                setSwitcher(Object.assign({}, switcher, { index: next }))
+                return
+              }
+              if (event.key === 'Enter') {
+                const hit = switchHits[switcher.index]
+                if (!hit) return
+                event.preventDefault()
+                setSwitcher(null)
+                services.openSession(hit.id)
+              }
+            },
+          }),
+          React.createElement('div', { 'data-polish-switcher-list': 'true', style: SWITCHER_LIST },
+            switchHits.length === 0
+              ? React.createElement('div', { style: Object.assign({}, SWITCHER_ROW, { cursor: 'default' }) }, 'No session matches that.')
+              : switchHits.map((hit, at) => React.createElement('button', {
+                key: hit.id,
+                type: 'button',
+                'data-polish-switcher-row': hit.id,
+                style: Object.assign({}, SWITCHER_ROW, {
+                  background: at === switcher.index ? 'var(--dsw-alias-interactive-bg-hover, rgba(0,0,0,0.06))' : 'transparent',
+                }),
+                onPointerDown: (event) => event.preventDefault(),
+                onClick: () => { setSwitcher(null); services.openSession(hit.id) },
+              },
+              React.createElement('span', { style: WS_TITLE }, hit.title),
+              React.createElement('span', { style: SWITCHER_HINT }, hit.workspace)))))), document.body)
+        : null
+
       const children = []
 
       children.push(React.createElement('div', { key: 'header', 'data-polish-ws': 'header', style: WS_HEADER },
@@ -1096,6 +1393,19 @@ window.__ModuleLoader__.load({
           style: WS_ADD,
           onClick: foldAll,
         }, allFolded ? '⌄' : '⌃'),
+        React.createElement('button', {
+          key: 'density',
+          type: 'button',
+          'data-polish-ws-density': densityOf(density),
+          title: densityOf(density) === 'compact' ? 'Use comfortable rows' : 'Use compact rows',
+          'aria-label': densityOf(density) === 'compact' ? 'Use comfortable rows' : 'Use compact rows',
+          style: WS_ADD,
+          onClick: () => {
+            const next = densityOf(density) === 'compact' ? 'comfortable' : 'compact'
+            setDensity(next)
+            writeDensity(next)
+          },
+        }, densityOf(density) === 'compact' ? '≡' : '≣'),
         React.createElement('button', {
           key: 'add',
           type: 'button',
@@ -1304,6 +1614,36 @@ window.__ModuleLoader__.load({
         }
       })
 
+      if (archivedSessions.length > 0) {
+        children.push(React.createElement('div', {
+          key: 'archived-head',
+          'data-polish-ws-archived': 'head',
+          style: WS_SECTION,
+          onClick: () => setArchiveOpen((open) => !open),
+        },
+        React.createElement('span', { 'aria-hidden': 'true' }, archiveOpen ? '⌄' : '›'),
+        React.createElement('span', { style: WS_TITLE }, 'Archived'),
+        React.createElement('span', { style: WS_COUNT }, String(archivedSessions.length))))
+
+        if (archiveOpen) {
+          for (const row of archivedSessions) {
+            children.push(React.createElement('div', {
+              key: 'archived:' + row.id,
+              'data-polish-ws-archived-row': row.id,
+              title: 'Archived session',
+              style: Object.assign({}, WS_ROW, { opacity: 0.7, fontStyle: 'italic' }),
+              onClick: () => services.openSession(row.id),
+              onContextMenu: (event) => {
+                event.preventDefault()
+                event.stopPropagation()
+                setMenu({ kind: 'archived', row, anchor: { top: event.clientY, left: event.clientX } })
+              },
+            },
+            React.createElement('span', { style: WS_TITLE }, row.displayTitle || row.id)))
+          }
+        }
+      }
+
       return React.createElement('div', {
         'data-polish-ws': 'tree',
         tabIndex: 0,
@@ -1320,13 +1660,16 @@ window.__ModuleLoader__.load({
           overflowX: 'hidden',
           padding: '2px 6px 12px',
           outline: 'none',
+          '--polish-ws-row': metrics.row,
         },
       },
       children,
       shownCount < totalCount
         ? React.createElement('div', { key: 'count', style: WS_COUNT_NOTE }, String(shownCount) + ' of ' + String(totalCount) + ' sessions')
         : null,
+      switcherCard,
       sessionMenu,
+      archivedMenu,
       paintMenu,
       workspaceMenu)
     }
@@ -1453,6 +1796,7 @@ window.__ModuleLoader__.load({
                 reorderSession: (workspaceId, movingId, beforeId) => seated.workspaces.insertSessionBefore(workspaceId, movingId, beforeId),
                 removeWorkspace: (id) => seated.workspaces.delete(id),
                 renameWorkspace: (id, title) => seated.workspaces.rename(id, title),
+                unarchiveSession: (id) => seated.workspaces.unarchiveSession(id),
                 openFolder: async (path) => {
                   const answer = await seated.remote.session.openWorkspacePath({ path })
                   if (answer && answer.ok === false) throw new Error('cannot open the folder')

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aryacode/dsh-aryacode-polish",
-  "version": "0.13.1",
+  "version": "0.15.2",
   "description": "AryaCode Polish: one install for the small things that make AryaCode feel finished. One Plugins row, one switch per quality-of-life feature.",
   "keywords": [
     "dsh",