@aryacode/dsh-aryacode-polish 0.18.0 → 0.20.0

package/CHANGELOG.md

@@ -1,5 +1,17 @@
 # Changelog
 
+## [0.20.0] - 2026-10-28
+
+Added: session flags and notes, shown on the row and on hover; the whole tree can be copied as indented text from the header.
+
+## [0.19.0] - 2026-10-28
+
+### Added
+- **Move to top level** in a workspace menu drops the folder prefix, so filing is reversible.
+- **Rename a folder** from its header: every workspace inside is refiled under the new
+  prefix through the Host rename, and the declared/empty list follows the folder.
+
+
 ## [0.18.0] - 2026-10-28
 
 ### Added

package/client/workspace.js

@@ -387,6 +387,79 @@ const ORDER_KEY = 'aryacode-polish:workspace-order.v1'
 const FOLD_KEY = 'aryacode-polish:folded.v1'
 const DENSITY_KEY = 'aryacode-polish:density.v1'
 const FOLDER_KEY = 'aryacode-polish:folders.v1'
+const MARK_KEY = 'aryacode-polish:session-marks.v1'
+
+export function markOf(map, sessionId) {
+  const entry = (map && map[String(sessionId)]) || {}
+  return {
+    flag: entry.flag === true,
+    note: typeof entry.note === 'string' && entry.note.length > 0 ? entry.note : undefined,
+  }
+}
+
+export function withMark(map, sessionId, patch) {
+  const next = Object.assign({}, map || {})
+  const key = String(sessionId)
+  const merged = Object.assign({}, markOf(next, key), patch || {})
+  const entry = {}
+  if (merged.flag === true) entry.flag = true
+  if (merged.note) entry.note = merged.note
+  if (Object.keys(entry).length === 0) delete next[key]
+  else next[key] = entry
+  return next
+}
+
+export function readMarks(storage) {
+  try {
+    const store = storage || (typeof localStorage === 'undefined' ? undefined : localStorage)
+    if (!store) return {}
+    const parsed = JSON.parse(store.getItem(MARK_KEY) || '{}')
+    return parsed && typeof parsed === 'object' ? parsed : {}
+  } catch {
+    return {}
+  }
+}
+
+export function writeMarks(map, storage) {
+  try {
+    const store = storage || (typeof localStorage === 'undefined' ? undefined : localStorage)
+    if (!store) return
+    store.setItem(MARK_KEY, JSON.stringify(map || {}))
+  } catch {
+    /* a mark is a nicety */
+  }
+}
+
+/** The whole tree as indented text, for pasting into a prompt or an issue. */
+export function treeText(rows, folderNames, markOfSession) {
+  const lines = []
+  const seen = new Set()
+  const pushGroup = (folder) => {
+    if (seen.has(folder)) return
+    seen.add(folder)
+    lines.push(folder)
+    for (const row of rows || []) {
+      const name = folderKey(row.workspace)
+      if (name !== folder) continue
+      lines.push('  ' + workspaceLabel(row.workspace))
+      for (const session of row.sessions || []) {
+        const mark = typeof markOfSession === 'function' ? markOfSession(session.id) : { flag: false }
+        lines.push('    ' + (mark && mark.flag ? '⚑ ' : '') + String(session.displayTitle || session.title || session.id))
+      }
+    }
+  }
+  for (const folder of folderNames || []) pushGroup(folder)
+  for (const row of rows || []) {
+    const name = folderKey(row.workspace)
+    if (name !== undefined) continue
+    lines.push(workspaceLabel(row.workspace))
+    for (const session of row.sessions || []) {
+      const mark = typeof markOfSession === 'function' ? markOfSession(session.id) : { flag: false }
+      lines.push('  ' + (mark && mark.flag ? '⚑ ' : '') + String(session.displayTitle || session.title || session.id))
+    }
+  }
+  return lines.join('\n')
+}
 
 const cleanFolder = (name) => {
   const value = String(name || '').trim().replace(/^\/+|\/+$/g, '')
@@ -707,6 +780,14 @@ export function fileUnder(label, folder) {
   return bare ? target + '/' + bare : target
 }
 
+/** The title a workspace needs to sit at the top level again: no folder prefix. */
+export function unfiled(label) {
+  const name = String(label || '').trim()
+  if (!name) return name
+  const cut = name.lastIndexOf('/')
+  return cut >= 0 ? name.slice(cut + 1).trim() : name
+}
+
 export function folderKey(workspace) {
   const label = workspaceLabel(workspace)
   const cut = label.lastIndexOf('/')
@@ -929,11 +1010,14 @@ export function BetterWorkspace(props) {
   const [folders, setFolders] = React.useState(folded.folders)
   const [declared, setDeclared] = React.useState(() => readFolders())
   const [folderDraft, setFolderDraft] = React.useState('')
+  const [marks, setMarks] = React.useState(() => readMarks())
+  const [markDraft, setMarkDraft] = React.useState('')
   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])
   React.useEffect(() => { writeFolders(declared) }, [declared])
+  React.useEffect(() => { writeMarks(marks) }, [marks])
   const [renaming, setRenaming] = React.useState(null)
   const commitRename = async () => {
     const draft = renaming
@@ -1189,6 +1273,22 @@ export function BetterWorkspace(props) {
             }
           },
         }, 'Restore saved order'),
+      folderOf(menu.workspace) === undefined
+        ? null
+        : React.createElement('button', {
+          type: 'button',
+          'data-polish-ws-unfile': menu.workspace.workspaceId,
+          style: WS_MENU_ITEM,
+          onClick: () => {
+            const target = menu.workspace
+            const title = unfiled(workspaceLabel(target))
+            closeMenu()
+            Promise.resolve()
+              .then(() => services.renameWorkspace(target.workspaceId, title))
+              .then(() => setNotice('Moved to the top level.'))
+              .catch(() => setNotice('Could not move that workspace.'))
+          },
+        }, 'Move to top level'),
       React.createElement('button', {
         type: 'button',
         'data-polish-folder-new': 'open',
@@ -1291,6 +1391,68 @@ export function BetterWorkspace(props) {
       React.createElement('div', { style: WS_MENU_HINT }, 'Enter creates, Escape cancels'))
     : null
 
+  const renameFolderMenu = menu && menu.kind === 'renameFolder'
+    ? React.createElement(RowMenu, { anchor: menu.anchor, onClose: closeMenu },
+      React.createElement('input', {
+        'data-polish-folder-edit-input': 'true',
+        type: 'text',
+        value: folderDraft,
+        placeholder: 'Folder name',
+        autoFocus: true,
+        style: WS_NOTE_INPUT,
+        onChange: (event) => setFolderDraft(event.target.value),
+        onKeyDown: (event) => {
+          if (event.key === 'Escape') { event.stopPropagation(); closeMenu(); return }
+          if (event.key !== 'Enter') return
+          const target = cleanFolder(folderDraft)
+          const moving = menu.members || []
+          const from = menu.folder
+          closeMenu()
+          if (!target || target === from) return
+          Promise.resolve()
+            .then(async () => {
+              for (const workspace of moving) {
+                await services.renameWorkspace(workspace.workspaceId, fileUnder(workspaceLabel(workspace), target))
+              }
+            })
+            .then(() => {
+              setDeclared((prev) => addFolder(removeFolder(prev, from), target))
+              setFolders((prev) => {
+                const next = Object.assign({}, prev)
+                if (next[from] !== undefined) next[target] = next[from]
+                delete next[from]
+                return next
+              })
+              setNotice('Folder renamed.')
+            })
+            .catch(() => setNotice('Could not rename that folder.'))
+        },
+      }),
+      React.createElement('div', { style: WS_MENU_HINT }, 'Renames every workspace inside it'))
+    : null
+
+  const markMenu = menu && menu.kind === 'mark'
+    ? React.createElement(RowMenu, { anchor: menu.anchor, onClose: closeMenu },
+      React.createElement('input', {
+        'data-polish-mark-input': 'true',
+        type: 'text',
+        value: markDraft,
+        placeholder: 'A note for this session',
+        autoFocus: true,
+        style: WS_NOTE_INPUT,
+        onChange: (event) => setMarkDraft(event.target.value),
+        onKeyDown: (event) => {
+          if (event.key === 'Escape') { event.stopPropagation(); closeMenu(); return }
+          if (event.key !== 'Enter') return
+          const id = menu.row.id
+          const value = markDraft.trim()
+          closeMenu()
+          setMarks((prev) => withMark(prev, id, { note: value }))
+        },
+      }),
+      React.createElement('div', { style: WS_MENU_HINT }, 'Enter saves, Escape cancels'))
+    : null
+
   const glyphMenu = menu && menu.kind === 'glyph'
     ? React.createElement(RowMenu, { anchor: menu.anchor, onClose: closeMenu },
       React.createElement('div', { style: WS_GLYPH_GRID },
@@ -1399,7 +1561,29 @@ export function BetterWorkspace(props) {
           workspacesSnapshot: workspaceState,
           session: { sessionId: menu.row.id, displayTitle: menu.row.displayTitle, session: menu.row },
         }))),
-      null)
+      React.createElement('button', {
+        type: 'button',
+        'data-polish-session-flag': menu.row.id,
+        style: WS_MENU_ITEM,
+        onClick: () => {
+          const row = menu.row
+          const current = markOf(marks, row.id)
+          closeMenu()
+          setMarks((prev) => withMark(prev, row.id, { flag: !current.flag }))
+        },
+      }, markOf(marks, menu.row.id).flag ? 'Remove flag' : 'Flag this session'),
+      React.createElement('button', {
+        type: 'button',
+        'data-polish-session-note': menu.row.id,
+        style: WS_MENU_ITEM,
+        onClick: () => {
+          const row = menu.row
+          const anchor = menu.anchor
+          closeMenu()
+          setMarkDraft(markOf(marks, row.id).note || '')
+          setMenu({ kind: 'mark', row, anchor })
+        },
+      }, 'Session note…'))
     : null
 
   const switcherCard = switcher
@@ -1465,6 +1649,20 @@ export function BetterWorkspace(props) {
       style: WS_ADD,
       onClick: foldAll,
     }, allFolded ? '⌄' : '⌃'),
+    React.createElement('button', {
+      key: 'copy',
+      type: 'button',
+      'data-polish-ws-copy': 'tree',
+      title: 'Copy the tree as text',
+      'aria-label': 'Copy the tree as text',
+      style: WS_ADD,
+      onClick: () => {
+        const text = treeText(rows, folderNames, (id) => markOf(marks, id))
+        Promise.resolve(navigator.clipboard.writeText(text))
+          .then(() => setNotice('Tree copied.'))
+          .catch(() => setNotice('Could not copy the tree.'))
+      },
+    }, '⧉'),
     React.createElement('button', {
       key: 'density',
       type: 'button',
@@ -1574,8 +1772,14 @@ export function BetterWorkspace(props) {
       }),
       onClick: () => services.openSession(row.id),
       onContextMenu: (event) => openMenu(event, row, workspace),
-      onMouseEnter: () => setHover('session:' + row.id),
-      onMouseLeave: () => setHover(null),
+      onMouseEnter: (event) => {
+        setHover('session:' + row.id)
+        const note = markOf(marks, row.id).note
+        if (!note) return
+        const box = event.currentTarget.getBoundingClientRect()
+        setCard({ text: note, top: box.bottom + 6, left: Math.max(8, box.left) })
+      },
+      onMouseLeave: () => { setHover(null); setCard(null) },
       onDragStart: () => setDrag({ kind: 'session', id: row.id, workspaceId: workspace.workspaceId }),
       onDragOver: (event) => {
         if (!drag || drag.kind !== 'session' || drag.id === row.id) return
@@ -1587,7 +1791,14 @@ export function BetterWorkspace(props) {
     },
     row.running ? React.createElement('span', { style: WS_DOT, title: 'Running' }) : null,
     pinned.has(row.id) ? React.createElement('span', { style: WS_PIN, title: 'Pinned' }, '\u2605') : null,
-    React.createElement('span', { style: WS_TITLE }, row.displayTitle || row.id),
+    markOf(marks, row.id).flag
+      ? React.createElement('span', { 'data-polish-mark-flag': row.id, style: WS_PIN, title: 'Flagged' }, '⚑')
+      : null,
+    React.createElement('span', {
+      style: Object.assign({}, WS_TITLE, {
+        fontStyle: markOf(marks, row.id).note ? 'italic' : undefined,
+      }),
+    }, row.displayTitle || row.id),
     rowHovered || rowFocused
       ? React.createElement('button', {
         type: 'button',
@@ -1643,6 +1854,19 @@ export function BetterWorkspace(props) {
       },
       React.createElement('span', { 'aria-hidden': 'true' }, folded ? '›' : '⌄'),
       React.createElement('span', { style: WS_TITLE }, folder),
+      React.createElement('button', {
+        type: 'button',
+        'data-polish-folder-edit': folder,
+        'aria-label': 'Rename the folder ' + folder,
+        title: 'Rename this folder',
+        style: WS_ROW_ACTION,
+        onClick: (event) => {
+          event.stopPropagation()
+          const box = event.currentTarget.getBoundingClientRect()
+          setFolderDraft(folder)
+          setMenu({ kind: 'renameFolder', folder, anchor: { top: box.bottom + 4, left: box.left }, members: inside.map((entry) => entry.workspace) })
+        },
+      }, '✎'),
       React.createElement('span', { style: WS_COUNT }, String(inside.reduce((sum, entry) => sum + entry.sessions.length, 0)))))
     }
 
@@ -1829,6 +2053,8 @@ export function BetterWorkspace(props) {
   glyphMenu,
   noteMenu,
   folderMenu,
+  renameFolderMenu,
+  markMenu,
   noteCard,
   archivedMenu,
   paintMenu,

package/docs/better-workspace.md

@@ -210,3 +210,32 @@ drop like any other folder header, and carries a `×` that removes the declarati
 names live in `aryacode-polish:folders.v1`; the tree draws the names its workspaces imply
 first and the declared ones after, so an empty folder never jumps ahead of real content and
 disappears on its own the moment the first workspace is filed into it.
+
+## Renaming a folder
+
+A folder is not an object in the Host — it is the prefix of the titles inside it. So renaming
+a folder means refiling every member: the header's `✎` asks for a new name, and each
+workspace inside is renamed to `NewName/` + its own name through `workspaces.rename`. The
+declared/empty list follows the old name to the new one, and the fold state moves with it, so
+a renamed folder does not suddenly spring open.
+
+## Filing is reversible
+
+**Move to top level** appears in a workspace's menu only when it actually lives under a folder,
+and does the inverse: `unfiled('Work/Alpha')` is `Alpha`, renamed through the Host like any
+other title change. A folder left with nothing in it simply stops being drawn, unless it was
+declared empty on purpose.
+
+## Flags and notes on sessions
+
+A session can carry a flag (`⚑`, shown before its title) and a note (shown on hover, in the same
+card the workspace notes use). Both live in `aryacode-polish:session-marks.v1`, keyed by session
+id, and both are set from the session's own menu: **Flag this session** / **Remove flag** and
+**Session note…** (Enter saves, Escape cancels). The tree never invents a session, so a mark for a
+session that no longer exists is simply never drawn.
+
+## Copy the tree
+
+The header's `⧉` copies the whole tree as indented text — folders, workspaces, sessions, with
+`⚑` before a flagged session — through `navigator.clipboard.writeText`. It is meant for pasting
+into a prompt or an issue: "here is what I am looking at", without screenshots.

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.18.0"
+    const CLIENT_VERSION = "0.20.0"
 
 /* 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. */
@@ -588,6 +588,79 @@ window.__ModuleLoader__.load({
     const FOLD_KEY = 'aryacode-polish:folded.v1'
     const DENSITY_KEY = 'aryacode-polish:density.v1'
     const FOLDER_KEY = 'aryacode-polish:folders.v1'
+    const MARK_KEY = 'aryacode-polish:session-marks.v1'
+
+    function markOf(map, sessionId) {
+      const entry = (map && map[String(sessionId)]) || {}
+      return {
+        flag: entry.flag === true,
+        note: typeof entry.note === 'string' && entry.note.length > 0 ? entry.note : undefined,
+      }
+    }
+
+    function withMark(map, sessionId, patch) {
+      const next = Object.assign({}, map || {})
+      const key = String(sessionId)
+      const merged = Object.assign({}, markOf(next, key), patch || {})
+      const entry = {}
+      if (merged.flag === true) entry.flag = true
+      if (merged.note) entry.note = merged.note
+      if (Object.keys(entry).length === 0) delete next[key]
+      else next[key] = entry
+      return next
+    }
+
+    function readMarks(storage) {
+      try {
+        const store = storage || (typeof localStorage === 'undefined' ? undefined : localStorage)
+        if (!store) return {}
+        const parsed = JSON.parse(store.getItem(MARK_KEY) || '{}')
+        return parsed && typeof parsed === 'object' ? parsed : {}
+      } catch {
+        return {}
+      }
+    }
+
+    function writeMarks(map, storage) {
+      try {
+        const store = storage || (typeof localStorage === 'undefined' ? undefined : localStorage)
+        if (!store) return
+        store.setItem(MARK_KEY, JSON.stringify(map || {}))
+      } catch {
+        /* a mark is a nicety */
+      }
+    }
+
+    /** The whole tree as indented text, for pasting into a prompt or an issue. */
+    function treeText(rows, folderNames, markOfSession) {
+      const lines = []
+      const seen = new Set()
+      const pushGroup = (folder) => {
+        if (seen.has(folder)) return
+        seen.add(folder)
+        lines.push(folder)
+        for (const row of rows || []) {
+          const name = folderKey(row.workspace)
+          if (name !== folder) continue
+          lines.push('  ' + workspaceLabel(row.workspace))
+          for (const session of row.sessions || []) {
+            const mark = typeof markOfSession === 'function' ? markOfSession(session.id) : { flag: false }
+            lines.push('    ' + (mark && mark.flag ? '⚑ ' : '') + String(session.displayTitle || session.title || session.id))
+          }
+        }
+      }
+      for (const folder of folderNames || []) pushGroup(folder)
+      for (const row of rows || []) {
+        const name = folderKey(row.workspace)
+        if (name !== undefined) continue
+        lines.push(workspaceLabel(row.workspace))
+        for (const session of row.sessions || []) {
+          const mark = typeof markOfSession === 'function' ? markOfSession(session.id) : { flag: false }
+          lines.push('  ' + (mark && mark.flag ? '⚑ ' : '') + String(session.displayTitle || session.title || session.id))
+        }
+      }
+      return lines.join('\n')
+    }
 
     const cleanFolder = (name) => {
       const value = String(name || '').trim().replace(/^\/+|\/+$/g, '')
@@ -908,6 +981,14 @@ window.__ModuleLoader__.load({
       return bare ? target + '/' + bare : target
     }
 
+    /** The title a workspace needs to sit at the top level again: no folder prefix. */
+    function unfiled(label) {
+      const name = String(label || '').trim()
+      if (!name) return name
+      const cut = name.lastIndexOf('/')
+      return cut >= 0 ? name.slice(cut + 1).trim() : name
+    }
+
     function folderKey(workspace) {
       const label = workspaceLabel(workspace)
       const cut = label.lastIndexOf('/')
@@ -1130,11 +1211,14 @@ window.__ModuleLoader__.load({
       const [folders, setFolders] = React.useState(folded.folders)
       const [declared, setDeclared] = React.useState(() => readFolders())
       const [folderDraft, setFolderDraft] = React.useState('')
+      const [marks, setMarks] = React.useState(() => readMarks())
+      const [markDraft, setMarkDraft] = React.useState('')
       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])
       React.useEffect(() => { writeFolders(declared) }, [declared])
+      React.useEffect(() => { writeMarks(marks) }, [marks])
       const [renaming, setRenaming] = React.useState(null)
       const commitRename = async () => {
         const draft = renaming
@@ -1390,6 +1474,22 @@ window.__ModuleLoader__.load({
                 }
               },
             }, 'Restore saved order'),
+          folderOf(menu.workspace) === undefined
+            ? null
+            : React.createElement('button', {
+              type: 'button',
+              'data-polish-ws-unfile': menu.workspace.workspaceId,
+              style: WS_MENU_ITEM,
+              onClick: () => {
+                const target = menu.workspace
+                const title = unfiled(workspaceLabel(target))
+                closeMenu()
+                Promise.resolve()
+                  .then(() => services.renameWorkspace(target.workspaceId, title))
+                  .then(() => setNotice('Moved to the top level.'))
+                  .catch(() => setNotice('Could not move that workspace.'))
+              },
+            }, 'Move to top level'),
           React.createElement('button', {
             type: 'button',
             'data-polish-folder-new': 'open',
@@ -1492,6 +1592,68 @@ window.__ModuleLoader__.load({
           React.createElement('div', { style: WS_MENU_HINT }, 'Enter creates, Escape cancels'))
         : null
 
+      const renameFolderMenu = menu && menu.kind === 'renameFolder'
+        ? React.createElement(RowMenu, { anchor: menu.anchor, onClose: closeMenu },
+          React.createElement('input', {
+            'data-polish-folder-edit-input': 'true',
+            type: 'text',
+            value: folderDraft,
+            placeholder: 'Folder name',
+            autoFocus: true,
+            style: WS_NOTE_INPUT,
+            onChange: (event) => setFolderDraft(event.target.value),
+            onKeyDown: (event) => {
+              if (event.key === 'Escape') { event.stopPropagation(); closeMenu(); return }
+              if (event.key !== 'Enter') return
+              const target = cleanFolder(folderDraft)
+              const moving = menu.members || []
+              const from = menu.folder
+              closeMenu()
+              if (!target || target === from) return
+              Promise.resolve()
+                .then(async () => {
+                  for (const workspace of moving) {
+                    await services.renameWorkspace(workspace.workspaceId, fileUnder(workspaceLabel(workspace), target))
+                  }
+                })
+                .then(() => {
+                  setDeclared((prev) => addFolder(removeFolder(prev, from), target))
+                  setFolders((prev) => {
+                    const next = Object.assign({}, prev)
+                    if (next[from] !== undefined) next[target] = next[from]
+                    delete next[from]
+                    return next
+                  })
+                  setNotice('Folder renamed.')
+                })
+                .catch(() => setNotice('Could not rename that folder.'))
+            },
+          }),
+          React.createElement('div', { style: WS_MENU_HINT }, 'Renames every workspace inside it'))
+        : null
+
+      const markMenu = menu && menu.kind === 'mark'
+        ? React.createElement(RowMenu, { anchor: menu.anchor, onClose: closeMenu },
+          React.createElement('input', {
+            'data-polish-mark-input': 'true',
+            type: 'text',
+            value: markDraft,
+            placeholder: 'A note for this session',
+            autoFocus: true,
+            style: WS_NOTE_INPUT,
+            onChange: (event) => setMarkDraft(event.target.value),
+            onKeyDown: (event) => {
+              if (event.key === 'Escape') { event.stopPropagation(); closeMenu(); return }
+              if (event.key !== 'Enter') return
+              const id = menu.row.id
+              const value = markDraft.trim()
+              closeMenu()
+              setMarks((prev) => withMark(prev, id, { note: value }))
+            },
+          }),
+          React.createElement('div', { style: WS_MENU_HINT }, 'Enter saves, Escape cancels'))
+        : null
+
       const glyphMenu = menu && menu.kind === 'glyph'
         ? React.createElement(RowMenu, { anchor: menu.anchor, onClose: closeMenu },
           React.createElement('div', { style: WS_GLYPH_GRID },
@@ -1600,7 +1762,29 @@ window.__ModuleLoader__.load({
               workspacesSnapshot: workspaceState,
               session: { sessionId: menu.row.id, displayTitle: menu.row.displayTitle, session: menu.row },
             }))),
-          null)
+          React.createElement('button', {
+            type: 'button',
+            'data-polish-session-flag': menu.row.id,
+            style: WS_MENU_ITEM,
+            onClick: () => {
+              const row = menu.row
+              const current = markOf(marks, row.id)
+              closeMenu()
+              setMarks((prev) => withMark(prev, row.id, { flag: !current.flag }))
+            },
+          }, markOf(marks, menu.row.id).flag ? 'Remove flag' : 'Flag this session'),
+          React.createElement('button', {
+            type: 'button',
+            'data-polish-session-note': menu.row.id,
+            style: WS_MENU_ITEM,
+            onClick: () => {
+              const row = menu.row
+              const anchor = menu.anchor
+              closeMenu()
+              setMarkDraft(markOf(marks, row.id).note || '')
+              setMenu({ kind: 'mark', row, anchor })
+            },
+          }, 'Session note…'))
         : null
 
       const switcherCard = switcher
@@ -1666,6 +1850,20 @@ window.__ModuleLoader__.load({
           style: WS_ADD,
           onClick: foldAll,
         }, allFolded ? '⌄' : '⌃'),
+        React.createElement('button', {
+          key: 'copy',
+          type: 'button',
+          'data-polish-ws-copy': 'tree',
+          title: 'Copy the tree as text',
+          'aria-label': 'Copy the tree as text',
+          style: WS_ADD,
+          onClick: () => {
+            const text = treeText(rows, folderNames, (id) => markOf(marks, id))
+            Promise.resolve(navigator.clipboard.writeText(text))
+              .then(() => setNotice('Tree copied.'))
+              .catch(() => setNotice('Could not copy the tree.'))
+          },
+        }, '⧉'),
         React.createElement('button', {
           key: 'density',
           type: 'button',
@@ -1775,8 +1973,14 @@ window.__ModuleLoader__.load({
           }),
           onClick: () => services.openSession(row.id),
           onContextMenu: (event) => openMenu(event, row, workspace),
-          onMouseEnter: () => setHover('session:' + row.id),
-          onMouseLeave: () => setHover(null),
+          onMouseEnter: (event) => {
+            setHover('session:' + row.id)
+            const note = markOf(marks, row.id).note
+            if (!note) return
+            const box = event.currentTarget.getBoundingClientRect()
+            setCard({ text: note, top: box.bottom + 6, left: Math.max(8, box.left) })
+          },
+          onMouseLeave: () => { setHover(null); setCard(null) },
           onDragStart: () => setDrag({ kind: 'session', id: row.id, workspaceId: workspace.workspaceId }),
           onDragOver: (event) => {
             if (!drag || drag.kind !== 'session' || drag.id === row.id) return
@@ -1788,7 +1992,14 @@ window.__ModuleLoader__.load({
         },
         row.running ? React.createElement('span', { style: WS_DOT, title: 'Running' }) : null,
         pinned.has(row.id) ? React.createElement('span', { style: WS_PIN, title: 'Pinned' }, '\u2605') : null,
-        React.createElement('span', { style: WS_TITLE }, row.displayTitle || row.id),
+        markOf(marks, row.id).flag
+          ? React.createElement('span', { 'data-polish-mark-flag': row.id, style: WS_PIN, title: 'Flagged' }, '⚑')
+          : null,
+        React.createElement('span', {
+          style: Object.assign({}, WS_TITLE, {
+            fontStyle: markOf(marks, row.id).note ? 'italic' : undefined,
+          }),
+        }, row.displayTitle || row.id),
         rowHovered || rowFocused
           ? React.createElement('button', {
             type: 'button',
@@ -1844,6 +2055,19 @@ window.__ModuleLoader__.load({
           },
           React.createElement('span', { 'aria-hidden': 'true' }, folded ? '›' : '⌄'),
           React.createElement('span', { style: WS_TITLE }, folder),
+          React.createElement('button', {
+            type: 'button',
+            'data-polish-folder-edit': folder,
+            'aria-label': 'Rename the folder ' + folder,
+            title: 'Rename this folder',
+            style: WS_ROW_ACTION,
+            onClick: (event) => {
+              event.stopPropagation()
+              const box = event.currentTarget.getBoundingClientRect()
+              setFolderDraft(folder)
+              setMenu({ kind: 'renameFolder', folder, anchor: { top: box.bottom + 4, left: box.left }, members: inside.map((entry) => entry.workspace) })
+            },
+          }, '✎'),
           React.createElement('span', { style: WS_COUNT }, String(inside.reduce((sum, entry) => sum + entry.sessions.length, 0)))))
         }
 
@@ -2030,6 +2254,8 @@ window.__ModuleLoader__.load({
       glyphMenu,
       noteMenu,
       folderMenu,
+      renameFolderMenu,
+      markMenu,
       noteCard,
       archivedMenu,
       paintMenu,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aryacode/dsh-aryacode-polish",
-  "version": "0.18.0",
+  "version": "0.20.0",
   "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",