##// END OF EJS Templates
Merge pull request #928 from punchagan/font-size-shortcut-context...
Evan Patterson -
r5193:444cde75 merge
parent child Browse files
Show More
@@ -261,6 +261,7 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):'
261 self.increase_font_size = QtGui.QAction("Bigger Font",
261 self.increase_font_size = QtGui.QAction("Bigger Font",
262 self,
262 self,
263 shortcut=QtGui.QKeySequence.ZoomIn,
263 shortcut=QtGui.QKeySequence.ZoomIn,
264 shortcutContext=QtCore.Qt.WidgetWithChildrenShortcut,
264 statusTip="Increase the font size by one point",
265 statusTip="Increase the font size by one point",
265 triggered=self._increase_font_size)
266 triggered=self._increase_font_size)
266 self.addAction(self.increase_font_size)
267 self.addAction(self.increase_font_size)
@@ -268,6 +269,7 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):'
268 self.decrease_font_size = QtGui.QAction("Smaller Font",
269 self.decrease_font_size = QtGui.QAction("Smaller Font",
269 self,
270 self,
270 shortcut=QtGui.QKeySequence.ZoomOut,
271 shortcut=QtGui.QKeySequence.ZoomOut,
272 shortcutContext=QtCore.Qt.WidgetWithChildrenShortcut,
271 statusTip="Decrease the font size by one point",
273 statusTip="Decrease the font size by one point",
272 triggered=self._decrease_font_size)
274 triggered=self._decrease_font_size)
273 self.addAction(self.decrease_font_size)
275 self.addAction(self.decrease_font_size)
@@ -275,6 +277,7 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):'
275 self.reset_font_size = QtGui.QAction("Normal Font",
277 self.reset_font_size = QtGui.QAction("Normal Font",
276 self,
278 self,
277 shortcut="Ctrl+0",
279 shortcut="Ctrl+0",
280 shortcutContext=QtCore.Qt.WidgetWithChildrenShortcut,
278 statusTip="Restore the Normal font size",
281 statusTip="Restore the Normal font size",
279 triggered=self.reset_font)
282 triggered=self.reset_font)
280 self.addAction(self.reset_font_size)
283 self.addAction(self.reset_font_size)
General Comments 0
You need to be logged in to leave comments. Login now