diff options
| -rw-r--r-- | services/panel-service.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/services/panel-service.c b/services/panel-service.c index 37998f922..05c1e97b6 100644 --- a/services/panel-service.c +++ b/services/panel-service.c @@ -439,7 +439,7 @@ event_filter (GdkXEvent *ev, GdkEvent *gev, PanelService *self) } else if (event->mods.base != GDK_CONTROL_MASK) { - if (!IsModifierKey (keysym) && event->mods.base != 0) + if (!IsModifierKey (keysym) && (event->mods.base != 0 || keysym == XK_Print)) { if (GTK_IS_MENU (priv->last_menu)) gtk_menu_popdown (GTK_MENU (priv->last_menu)); |