diff options
| author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2013-10-03 01:46:16 +0200 |
|---|---|---|
| committer | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2013-10-03 01:46:16 +0200 |
| commit | b09ed2b2e61b36b5e9277eb4205d28e98f41d426 (patch) | |
| tree | bd5e210ae3f6d5985e85182317098d885e56f340 /services | |
| parent | 970b8853df8a2ba0341008b23ff3995b4d6d7923 (diff) | |
PanelService: allow print screen key to be used without modifiers
(bzr r3548.1.10)
Diffstat (limited to 'services')
| -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)); |