diff options
Diffstat (limited to 'kitty')
| -rw-r--r-- | kitty/dot-config/kitty/kitty.conf | 4 |
1 files 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 |