1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
# Managed by IssueSpec. Hand edits are welcome; keep the schema valid.
id: 15
title: The files explorer panel needs a resizable panel
state: closed
author:
name: k33g
email: ph.charriere@gmail.com
createdAt: 2026-09-17T22:35:25.296Z
updatedAt: 2026-09-17T23:15:00.000Z
labels: []
body: |
The file tree column of the workspace panel had a fixed width (14rem). It is now resizable.
Implemented (2026-09-17):
- Store: `fileTreeWidth` (px) in `ui/src/workspace.ts` with `setFileTreeWidth` /
`resetFileTreeWidth` / `clampFileTreeWidth`, bounded 120–800 px (default 224), remembered
in localStorage under `ori.fileTreeWidth` (guarded reads/writes, default on any failure).
- UI: `ui/src/components/ResizeHandle.tsx` — ARIA separator between the tree and the tabs;
pointer drag with capture, ←/→ (16 px), Home/End (bounds), double-click resets.
`Workspace.tsx` applies the width through the `--filetree-width` CSS custom property;
`FileTree` is unchanged.
- Tests: +7 store, +7 ResizeHandle, +2 Workspace (118 vitest total). Quality gate PASS.
- Docs: how-to `use-the-workspace` and architecture explanation (EN + FR).
tasks: []
comments: []
|