environment/lib/python2.7/site-packages/IPython/frontend/qt/console/console_widget.py
def _page(self, text, html=False):
        """ Displays text using the pager if it exceeds the height of the
        viewport.

        Parameters:
        -----------
        html : bool, optional (default False)
            If set, the text will be interpreted as HTML instead of plain text.
        """
        line_height = QtGui.QFontMetrics(self.font).height()
        minlines = self._control.viewport().height() / line_height
        if self.paging != 'none' and \
                re.match("(?:[^\n]*\n){%i}" % minlines, text):
            if self.paging == 'custom':
                self.custom_page_requested.emit(text)
            else:
                self._page_control.clear()
                cursor = self._page_control.textCursor()
                if html:
                    self._insert_html(cursor, text)
                else:
                    self._insert_plain_text(cursor, text)
                self._page_control.moveCursor(QtGui.QTextCursor.Start)

                self._page_control.viewport().resize(self._control.size())
                if self._splitter:
                    self._page_control.show()
                    self._page_control.setFocus()
                else:
                    self.layout().setCurrentWidget(self._page_control)
        elif html:
            self._append_html(text)
        else:
            self._append_plain_text(text)
def _page(self, text, html=False):
        line_height = QtGui.QFontMetrics(self.font).height()
        minlines = self._control.viewport().height() / line_height
        if self.paging != 'none' and \
                re.match("(?:[^\n]*\n){%i}" % minlines, text):
            if self.paging == 'custom':
                self.custom_page_requested.emit(text)
            else:
                self._page_control.clear()
                cursor = self._page_control.textCursor()
                if html:
                    self._insert_html(cursor, text)
                else:
                    self._insert_plain_text(cursor, text)
                self._page_control.moveCursor(QtGui.QTextCursor.Start)

                self._page_control.viewport().resize(self._control.size())
                if self._splitter:
                    self._page_control.show()
                    self._page_control.setFocus()
                else:
                    self.layout().setCurrentWidget(self._page_control)
        elif html:
            self._append_html(text)
        else:
            self._append_plain_text(text)
def _page ( self , text , html = False ) : line_height = QtGui . QFontMetrics ( self . font ) . height ( ) minlines = self . _control . viewport ( ) . height ( ) / line_height if self . paging != 'none' and re . match ( "(?:[^\n]*\n){%i}" % minlines , text ) : if self . paging == 'custom' : self . custom_page_requested . emit ( text ) else : self . _page_control . clear ( ) cursor = self . _page_control . textCursor ( ) if html : self . _insert_html ( cursor , text ) else : self . _insert_plain_text ( cursor , text ) self . _page_control . moveCursor ( QtGui . QTextCursor . Start ) self . _page_control . viewport ( ) . resize ( self . _control . size ( ) ) if self . _splitter : self . _page_control . show ( ) self . _page_control . setFocus ( ) else : self . layout ( ) . setCurrentWidget ( self . _page_control ) elif html : self . _append_html ( text ) else : self . _append_plain_text ( text )
Displays text using the pager if it exceeds the height of the
        viewport.

        Parameters:
        -----------
        html : bool, optional (default False)
            If set, the text will be interpreted as HTML instead of plain text.
Displays text using the pager if it exceeds the height of the viewport .