mirrors/ghostty
1
0
Fork 0
mirror of https://github.com/ghostty-org/ghostty.git synced 2026-05-19 11:31:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Don't crash on huge padding, warn users if padding is absurd

Browse Source
This commit is contained in:
Mitchell Hashimoto
2022-11-14 17:41:15 -08:00
parent e6c7fd0214
commit 334743e8a7
3 changed files with 17 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/Window.zig
View File

@@ -581,6 +581,14 @@ fn sizeCallback(window: glfw.Window, width: i32, height: i32) void {
// Recalculate our grid size
win.grid_size = win.renderer.gridSize(screen_size);
if (win.grid_size.columns < 5 and (win.padding.left > 0 or win.padding.right > 0)) {
log.warn("WARNING: very small terminal grid detected with padding " ++
"set. Is your padding reasonable?", .{});
}
if (win.grid_size.rows < 2 and (win.padding.top > 0 or win.padding.bottom > 0)) {
log.warn("WARNING: very small terminal grid detected with padding " ++
"set. Is your padding reasonable?", .{});
}
// Mail the IO thread
_ = win.io_thread.mailbox.push(.{