the divider between sidebar and chat/stats area should be draggable #25
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
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.