environment/lib/python2.7/site-packages/IPython/frontend/qt/console/console_widget.py
def change_font_size(self, delta):
        """Change the font size by the specified amount (in points).
        """
        font = self.font
        size = max(font.pointSize() + delta, 1) # minimum 1 point
        font.setPointSize(size)
        self._set_font(font)
def change_font_size(self, delta):
        """Change the font size by the specified amount (in points).
        """
        font = self.font
        size = max(font.pointSize() + delta, 1) # minimum 1 point
        font.setPointSize(size)
        self._set_font(font)
def change_font_size ( self , delta ) : font = self . font size = max ( font . pointSize ( ) + delta , 1 ) # minimum 1 point font . setPointSize ( size ) self . _set_font ( font )
Change the font size by the specified amount (in points).
Change the font size by the specified amount ( in points ) .