From 733771249b96268c666c04e83f3d4c90c53ba3da Mon Sep 17 00:00:00 2001 From: Sergii Tykhomyrov Date: Thu, 12 Dec 2024 15:00:06 +0100 Subject: kitty: Add window margin and enable using Opt as Alt on macOS --- kitty/dot-config/kitty/kitty.conf | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kitty/dot-config/kitty/kitty.conf b/kitty/dot-config/kitty/kitty.conf index deebfb4..c20bf53 100644 --- a/kitty/dot-config/kitty/kitty.conf +++ b/kitty/dot-config/kitty/kitty.conf @@ -894,7 +894,7 @@ font_size 13 #: that setting a non-zero window_margin_width overrides this and #: causes all borders to be drawn. -# window_margin_width 0 +window_margin_width 5 #: The window margin (in pts) (blank area outside the border). A #: single value sets all four sides. Two values set the vertical and @@ -1814,7 +1814,7 @@ window_padding_width 5 #: background_opacity. If you want to use both, you are probably #: better off just hiding the titlebar with hide_window_decorations. -# macos_option_as_alt no +macos_option_as_alt yes #: Use the Option key as an Alt key on macOS. With this set to no, #: kitty will use the macOS native Option+Key to enter Unicode -- cgit v1.2.3