From ba2caa815d1aba47b08cfb55fcbfe1dd8f773989 Mon Sep 17 00:00:00 2001 From: Wez Furlong Date: Fri, 27 Dec 2019 09:58:51 -0800 Subject: [PATCH] Allow omitting window_padding fields Closes: https://github.com/wez/wezterm/issues/85 --- src/config/mod.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/config/mod.rs b/src/config/mod.rs index 960726c94..e7c21aee4 100644 --- a/src/config/mod.rs +++ b/src/config/mod.rs @@ -490,9 +490,13 @@ impl DefaultCursorStyle { #[derive(Default, Deserialize, Clone, Copy, Debug)] pub struct WindowPadding { + #[serde(default)] pub left: u16, + #[serde(default)] pub top: u16, + #[serde(default)] pub right: u16, + #[serde(default)] pub bottom: u16, }