From a6a47257a32f75ecd9b52ae27fc8c900e27f47ea Mon Sep 17 00:00:00 2001
From: Arhum Jain <75106472+ArhumJain@users.noreply.github.com>
Date: Fri, 1 Sep 2023 23:54:48 -0700
Subject: Change `window.padding` from u8 to u16

Fixes #6900.
---
 alacritty/src/config/window.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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,
-- 
cgit v1.2.3-54-g00ecf