diff options
Diffstat (limited to 'x11-misc/gnome-pie/files')
| -rw-r--r-- | x11-misc/gnome-pie/files/pieWindow-hint-to-be-popup-menu-instead-of-dock-to-n.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/x11-misc/gnome-pie/files/pieWindow-hint-to-be-popup-menu-instead-of-dock-to-n.patch b/x11-misc/gnome-pie/files/pieWindow-hint-to-be-popup-menu-instead-of-dock-to-n.patch new file mode 100644 index 0000000..e43036b --- /dev/null +++ b/x11-misc/gnome-pie/files/pieWindow-hint-to-be-popup-menu-instead-of-dock-to-n.patch @@ -0,0 +1,26 @@ +From 39cd46bc9e4eb029529ee74ddb0091add3e62fe8 Mon Sep 17 00:00:00 2001 +From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= <cynerd@email.cz> +Date: Wed, 30 Oct 2019 20:28:02 +0100 +Subject: [PATCH] pieWindow: hint to be popup menu instead of dock to not + manage by i3 + +--- + src/renderers/pieWindow.vala | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/src/renderers/pieWindow.vala b/src/renderers/pieWindow.vala +index 6d258d8..9d1ae51 100644 +--- a/src/renderers/pieWindow.vala ++++ b/src/renderers/pieWindow.vala +@@ -124,7 +124,7 @@ public class PieWindow : Gtk.Window { + this.set_skip_taskbar_hint(true); + this.set_skip_pager_hint(true); + this.set_keep_above(true); +- this.set_type_hint(Gdk.WindowTypeHint.DOCK); ++ this.set_type_hint(Gdk.WindowTypeHint.POPUP_MENU); + this.set_decorated(false); + this.set_resizable(false); + this.icon_name = "gnome-pie"; +-- +2.23.0 + |