starred/tty7
1
0
Fork 0
mirror of https://github.com/l0ng-ai/tty7.git synced 2026-09-22 08:02:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix(panes): give the split divider the 8px grab the panel edges have

Browse Source 
The sidebar and right-panel edges hand you an 8px target; a split
divider was 5px, so the one drag you do most often was the fussiest to
start. I had left this alone thinking a wider band would eat clicks at
the edge of the terminal text — it does not: the grid is inset by its
own GRID_PAD_X of 8px, so the extra 1.5px a side lands in padding and
stops 4px short of the nearest cell.

The gutter still measures 5px, so the split looks exactly as it did; the
target is an overlay centred on it, the same shape the panel edges use.

Measured rather than eyeballed: the divider line sits on one pixel
column, and dragging from 1.5px outside the old band now moves it.
This commit is contained in:
l0ng-ai
2026-08-08 22:45:04 +07:00
parent 151ed9dcd6
commit fc73559e2b
1 changed files with 36 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/ui/pane.rs
+36 -15
View File
@@ -551,25 +551,29 @@ impl Pane<PaneSlot> {
.size_full();
let line_color = if dragging.get() { active } else { idle };
let divider = div()
.group("split-divider")
.flex_none()
.flex()
.items_center()
.justify_center()
// The gutter stays 5px so the split looks the same; the target
// is the 8px the sidebar and right-panel edges already hand
// you. The extra 1.5px a side reaches into the pane's own 8px
// GRID_PAD_X, so it never covers a cell of terminal text.
let overhang =
(crate::ui::right_panel::RESIZE_HANDLE_WIDTH - DIVIDER_THICKNESS).max(0.) / 2.;
let grab = div()
.occlude()
.absolute()
.when(row, |d| {
d.w(px(DIVIDER_THICKNESS)).h_full().cursor_col_resize()
d.top_0()
.h_full()
.left(px(-overhang))
.w(px(DIVIDER_THICKNESS + overhang * 2.))
.cursor_col_resize()
})
.when(!row, |d| {
d.h(px(DIVIDER_THICKNESS)).w_full().cursor_row_resize()
d.left_0()
.w_full()
.top(px(-overhang))
.h(px(DIVIDER_THICKNESS + overhang * 2.))
.cursor_row_resize()
})
.child(
div()
.when(row, |d| d.w(px(1.)).h_full())
.when(!row, |d| d.h(px(1.)).w_full())
.bg(line_color)
.group_hover("split-divider", |s| s.bg(active)),
)
.on_mouse_down(MouseButton::Left, {
let dragging = dragging.clone();
move |_ev, window, _cx| {
@@ -577,6 +581,23 @@ impl Pane<PaneSlot> {
window.refresh();
}
});
let divider = div()
.group("split-divider")
.flex_none()
.relative()
.flex()
.items_center()
.justify_center()
.when(row, |d| d.w(px(DIVIDER_THICKNESS)).h_full())
.when(!row, |d| d.h(px(DIVIDER_THICKNESS)).w_full())
.child(
div()
.when(row, |d| d.w(px(1.)).h_full())
.when(!row, |d| d.h(px(1.)).w_full())
.bg(line_color)
.group_hover("split-divider", |s| s.bg(active)),
)
.child(grab);
div()
.size_full()