Show More
@@ -261,6 +261,7 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):' | |||
|
261 | 261 | self.increase_font_size = QtGui.QAction("Bigger Font", |
|
262 | 262 | self, |
|
263 | 263 | shortcut=QtGui.QKeySequence.ZoomIn, |
|
264 | shortcutContext=QtCore.Qt.WidgetWithChildrenShortcut, | |
|
264 | 265 | statusTip="Increase the font size by one point", |
|
265 | 266 | triggered=self._increase_font_size) |
|
266 | 267 | self.addAction(self.increase_font_size) |
@@ -268,6 +269,7 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):' | |||
|
268 | 269 | self.decrease_font_size = QtGui.QAction("Smaller Font", |
|
269 | 270 | self, |
|
270 | 271 | shortcut=QtGui.QKeySequence.ZoomOut, |
|
272 | shortcutContext=QtCore.Qt.WidgetWithChildrenShortcut, | |
|
271 | 273 | statusTip="Decrease the font size by one point", |
|
272 | 274 | triggered=self._decrease_font_size) |
|
273 | 275 | self.addAction(self.decrease_font_size) |
@@ -275,6 +277,7 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):' | |||
|
275 | 277 | self.reset_font_size = QtGui.QAction("Normal Font", |
|
276 | 278 | self, |
|
277 | 279 | shortcut="Ctrl+0", |
|
280 | shortcutContext=QtCore.Qt.WidgetWithChildrenShortcut, | |
|
278 | 281 | statusTip="Restore the Normal font size", |
|
279 | 282 | triggered=self.reset_font) |
|
280 | 283 | self.addAction(self.reset_font_size) |
General Comments 0
You need to be logged in to leave comments.
Login now