blob: e43036b53cf6c70b8ad27ff57cfbf0f017cfeb47 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
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
|
