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

Merge pull request #1381 from mitsuhiko/document-reload-for-padding

Browse Source 
Document that window padding changes need a restart
This commit is contained in:
Mitchell Hashimoto
2024-01-25 15:28:42 -08:00
committed by GitHub
parent 5fa34908e4 6f82004183
commit 9ecd319a72
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/config/Config.zig
View File

@ -555,6 +555,8 @@ keybind: Keybinds = .{},
/// grid will be completely squished by the padding. It is up to you as the user
/// to pick a reasonable value. If you pick an unreasonable value, a warning
/// will appear in the logs.
///
/// Changing these values will only apply after restart.
@"window-padding-x": u32 = 2,
@"window-padding-y": u32 = 2,