it should be possible to drag the divider line left and right to make the sidebar larger or smaller. the position of the sidebar must be persisted and rehydrated on next start.
it should be possible to drag the divider line left and right to make the sidebar larger or smaller. the position of the sidebar must be persisted and rehydrated on next start.
New preferences.sidebar_width column (migration 20260726120000_add_sidebar_width, default 276) holds the width; it is written once on mouse release, not per pixel.
A 5px divider strip between sidebar and detail is a mouse_area with the horizontal-resize cursor. Pressing it starts the drag; while dragging the app subscribes to raw window mouse events, because the cursor leaves the thin strip immediately.
The sidebar starts at the window edge, so the cursor's x is the requested width; it is clamped to 180–520px on both drag and render.
Verified: builds, tests, and the app renders the divider. The drag gesture itself I could not exercise headlessly — no mouse-synthesis tool on this machine — so please give it a pull to confirm the feel.
Implemented in b182e70.
- New `preferences.sidebar_width` column (migration `20260726120000_add_sidebar_width`, default 276) holds the width; it is written once on mouse release, not per pixel.
- A 5px divider strip between sidebar and detail is a `mouse_area` with the horizontal-resize cursor. Pressing it starts the drag; while dragging the app subscribes to raw window mouse events, because the cursor leaves the thin strip immediately.
- The sidebar starts at the window edge, so the cursor's x is the requested width; it is clamped to 180–520px on both drag and render.
Verified: builds, tests, and the app renders the divider. The drag gesture itself I could not exercise headlessly — no mouse-synthesis tool on this machine — so please give it a pull to confirm the feel.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
it should be possible to drag the divider line left and right to make the sidebar larger or smaller. the position of the sidebar must be persisted and rehydrated on next start.
Implemented in
b182e70.preferences.sidebar_widthcolumn (migration20260726120000_add_sidebar_width, default 276) holds the width; it is written once on mouse release, not per pixel.mouse_areawith the horizontal-resize cursor. Pressing it starts the drag; while dragging the app subscribes to raw window mouse events, because the cursor leaves the thin strip immediately.Verified: builds, tests, and the app renders the divider. The drag gesture itself I could not exercise headlessly — no mouse-synthesis tool on this machine — so please give it a pull to confirm the feel.