From cec45de8423f1806a9f32be8e23bbe735c9bd181 Mon Sep 17 00:00:00 2001
From: Mitchell Hashimoto <mitchell.hashimoto@gmail.com>
Date: Sat, 30 Sep 2023 21:48:22 -0700
Subject: [PATCH] config: note gtk bug

---
 src/config/Config.zig | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/config/Config.zig b/src/config/Config.zig
index 8ba3b02c1..f9913e440 100644
--- a/src/config/Config.zig
+++ b/src/config/Config.zig
@@ -316,6 +316,11 @@ keybind: Keybinds = .{},
 /// Changing this value will not affect the size of the window after
 /// it has been created. This is only used for the initial size.
 ///
+/// BUG: On Linux with GTK, the calculated window size will not properly
+/// take into account window decorations. As a result, the grid dimensions
+/// will not exactly match this configuration. If window decorations are
+/// disabled (see window-decorations), then this will work as expected.
+///
 /// Windows smaller than 10 wide by 4 high are not allowed.
 @"window-height": u32 = 0,
 @"window-width": u32 = 0,