diff options
| author | Arhum Jain <75106472+ArhumJain@users.noreply.github.com> | 2023-09-01 23:54:48 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-02 10:54:48 +0400 |
| commit | a6a47257a32f75ecd9b52ae27fc8c900e27f47ea (patch) | |
| tree | bf9a7bfb207b48a74078f392a3d0f0db52fb84e3 | |
| parent | c83f963eaa185080eb12b5c45223efefe67fc022 (diff) | |
| download | alacritty-a6a47257a32f75ecd9b52ae27fc8c900e27f47ea.tar.gz alacritty-a6a47257a32f75ecd9b52ae27fc8c900e27f47ea.zip | |
Change `window.padding` from u8 to u16
Fixes #6900.
| -rw-r--r-- | alacritty/src/config/window.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/alacritty/src/config/window.rs b/alacritty/src/config/window.rs index d546f686..4b63c3e9 100644 --- a/alacritty/src/config/window.rs +++ b/alacritty/src/config/window.rs @@ -57,7 +57,7 @@ pub struct WindowConfig { pub resize_increments: bool, /// Pixel padding. - padding: Delta<u8>, + padding: Delta<u16>, /// Initial dimensions. dimensions: Dimensions, |