From 96f687abd01455e9817c424318bcaa1469941de9 Mon Sep 17 00:00:00 2001 From: Donovan Glover Date: Thu, 15 Dec 2022 11:33:34 -0500 Subject: [PATCH] kitty: Show window decorations on GNOME Thanks to an extension called pixel-saver, it's possible to take advantage of window decorations in GNOME and maximize screen estate at the same time. --- kitty/.config/kitty/kitty.conf | 3 --- 1 file changed, 3 deletions(-) diff --git a/kitty/.config/kitty/kitty.conf b/kitty/.config/kitty/kitty.conf index 4292fab..7251f15 100644 --- a/kitty/.config/kitty/kitty.conf +++ b/kitty/.config/kitty/kitty.conf @@ -20,9 +20,6 @@ font_size 11 # Hide the mouse after 1 second (doesn't work sometimes) mouse_hide_wait 1 -# Hide the title bar on desktop environments like GNOME -hide_window_decorations yes - # Copy text on select copy_on_select clipboard