From 444cde7502382686e0d35c8883b1dc3eae589846 2011-10-25 15:54:17
From: Evan Patterson <ejpatters@gmail.com>
Date: 2011-10-25 15:54:17
Subject: [PATCH] Merge pull request #928 from punchagan/font-size-shortcut-context

BUG: Set context for font size change shortcuts in ConsoleWidget
---

diff --git a/IPython/frontend/qt/console/console_widget.py b/IPython/frontend/qt/console/console_widget.py
index 3d539ce..877b6c0 100644
--- a/IPython/frontend/qt/console/console_widget.py
+++ b/IPython/frontend/qt/console/console_widget.py
@@ -261,6 +261,7 @@ class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):
         self.increase_font_size = QtGui.QAction("Bigger Font",
                 self,
                 shortcut=QtGui.QKeySequence.ZoomIn,
+                shortcutContext=QtCore.Qt.WidgetWithChildrenShortcut,
                 statusTip="Increase the font size by one point",
                 triggered=self._increase_font_size)
         self.addAction(self.increase_font_size)
@@ -268,6 +269,7 @@ class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):
         self.decrease_font_size = QtGui.QAction("Smaller Font",
                 self,
                 shortcut=QtGui.QKeySequence.ZoomOut,
+                shortcutContext=QtCore.Qt.WidgetWithChildrenShortcut,
                 statusTip="Decrease the font size by one point",
                 triggered=self._decrease_font_size)
         self.addAction(self.decrease_font_size)
@@ -275,6 +277,7 @@ class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):
         self.reset_font_size = QtGui.QAction("Normal Font",
                 self,
                 shortcut="Ctrl+0",
+                shortcutContext=QtCore.Qt.WidgetWithChildrenShortcut,
                 statusTip="Restore the Normal font size",
                 triggered=self.reset_font)
         self.addAction(self.reset_font_size)