##// END OF EJS Templates
don't set point size less than 1 in ConsoleWidget - this was raising Qt errors...
Martin Spacek -
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 font.setPointSize(font.pointSize() + delta)
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