Applied-Software/ghostty
5
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2025-07-17 17:26:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1323 from mitchellh/mrn/min-size-gtk-splits

Browse Source 
gtk: respect minimum split size when using resize keys
This commit is contained in:
Mitchell Hashimoto
2024-01-18 07:49:36 -08:00
committed by GitHub
parent 8fad0b7c6f 551d19205b
commit cb463edb84
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/apprt/gtk/Split.zig
View File

@ -163,10 +163,15 @@ fn removeChild(
/// Move the divider in the given direction by the given amount. /// Move the divider in the given direction by the given amount.
pub fn moveDivider(self: *Split, direction: input.SplitResizeDirection, amount: u16) void { pub fn moveDivider(self: *Split, direction: input.SplitResizeDirection, amount: u16) void {
const min_pos = 10;
const pos = c.gtk_paned_get_position(self.paned); const pos = c.gtk_paned_get_position(self.paned);
const new = switch (direction) { const new = switch (direction) {
.up, .left => pos - amount, .up, .left => @max(pos - amount, min_pos),
.down, .right => pos + amount, .down, .right => new_pos: {
const max_pos: u16 = @as(u16, @intFromFloat(self.maxPosition())) - min_pos;
break :new_pos @min(pos + amount, max_pos);
},
}; };
c.gtk_paned_set_position(self.paned, new); c.gtk_paned_set_position(self.paned, new);