blob: 27571b53ef8c4da23d4c5400cda905cd85e7243b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
diff -NurB gnome-panel-2.4.1-orig/gnome-panel/panel-toplevel.c gnome-panel-2.4.1/gnome-panel/panel-toplevel.c
--- gnome-panel-2.4.1-orig/gnome-panel/panel-toplevel.c 2003-10-31 09:24:02.000000000 -0500
+++ gnome-panel-2.4.1/gnome-panel/panel-toplevel.c 2003-10-31 09:25:41.000000000 -0500
@@ -2212,9 +2212,10 @@
static void
panel_toplevel_attach_toplevel_hiding (PanelToplevel *toplevel)
{
- panel_toplevel_hide (toplevel, FALSE, -1);
-
- toplevel->priv->attach_hidden = TRUE;
+ if (!panel_toplevel_get_is_hidden (toplevel)) {
+ panel_toplevel_hide (toplevel, FALSE, -1);
+ toplevel->priv->attach_hidden = TRUE;
+ }
}
static void
|