From 08abc2e00acc7007e93ea0c9535ad6a5267b41b2 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Tue, 1 Dec 2015 18:49:23 +0800
Subject: [PATCH] gui/shortcuts: make global shortcuts really global

---
 artiq/gui/shortcuts.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/artiq/gui/shortcuts.py b/artiq/gui/shortcuts.py
index 472276c49..c98c38f3d 100644
--- a/artiq/gui/shortcuts.py
+++ b/artiq/gui/shortcuts.py
@@ -1,7 +1,7 @@
 import logging
 from functools import partial
 
-from quamash import QtGui
+from quamash import QtGui, QtCore
 from pyqtgraph import dockarea
 try:
     from quamash import QtWidgets
@@ -63,6 +63,7 @@ class ShortcutsDock(dockarea.Dock):
                 "submit": submit
             }
             shortcut = QShortcut("F" + str(i+1), main_window)
+            shortcut.setContext(QtCore.Qt.ApplicationShortcut)
             shortcut.activated.connect(partial(self._activated, i))
 
     def _activated(self, nr):