Show More
@@ -598,7 +598,8 b' class ConsoleWidget(Configurable, QtGui.QWidget):' | |||||
598 | """Change the font size by the specified amount (in points). |
|
598 | """Change the font size by the specified amount (in points). | |
599 | """ |
|
599 | """ | |
600 | font = self.font |
|
600 | font = self.font | |
601 |
|
|
601 | size = max(font.pointSize() + delta, 1) # minimum 1 point | |
|
602 | font.setPointSize(size) | |||
602 | self._set_font(font) |
|
603 | self._set_font(font) | |
603 |
|
604 | |||
604 | def select_all(self): |
|
605 | def select_all(self): |
General Comments 0
You need to be logged in to leave comments.
Login now