@aryacode/dsh-aryacode-polish 0.14.0 → 0.15.2

package/CHANGELOG.md

@@ -1,5 +1,19 @@
 # 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

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)',
@@ -385,6 +385,68 @@ 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) {
@@ -715,6 +777,8 @@ export function BetterWorkspace(props) {
   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 () => {
@@ -750,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) => {
@@ -763,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)
@@ -833,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) => {
@@ -980,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
@@ -1093,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',
@@ -1301,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,
@@ -1317,6 +1459,7 @@ export function BetterWorkspace(props) {
       overflowX: 'hidden',
       padding: '2px 6px 12px',
       outline: 'none',
+      '--polish-ws-row': metrics.row,
     },
   },
   children,
@@ -1325,6 +1468,7 @@ export function BetterWorkspace(props) {
     : null,
   switcherCard,
   sessionMenu,
+  archivedMenu,
   paintMenu,
   workspaceMenu)
 }
@@ -1451,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

@@ -152,3 +152,27 @@ panel's stacking context can clip it.
 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.14.0"
+    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)',
@@ -586,6 +586,68 @@ 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) {
@@ -916,6 +978,8 @@ window.__ModuleLoader__.load({
       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 () => {
@@ -951,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) => {
@@ -964,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)
@@ -1034,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) => {
@@ -1181,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
@@ -1294,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',
@@ -1502,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,
@@ -1518,6 +1660,7 @@ window.__ModuleLoader__.load({
           overflowX: 'hidden',
           padding: '2px 6px 12px',
           outline: 'none',
+          '--polish-ws-row': metrics.row,
         },
       },
       children,
@@ -1526,6 +1669,7 @@ window.__ModuleLoader__.load({
         : null,
       switcherCard,
       sessionMenu,
+      archivedMenu,
       paintMenu,
       workspaceMenu)
     }
@@ -1652,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.14.0",
+  "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",