environment/lib/python2.7/site-packages/IPython/frontend/qt/console/console_widget.py
def _create_page_control(self):
        """ Creates and connects the underlying paging widget.
        """
        if self.custom_page_control:
            control = self.custom_page_control()
        elif self.kind == 'plain':
            control = QtGui.QPlainTextEdit()
        elif self.kind == 'rich':
            control = QtGui.QTextEdit()
        control.installEventFilter(self)
        viewport = control.viewport()
        viewport.installEventFilter(self)
        control.setReadOnly(True)
        control.setUndoRedoEnabled(False)
        control.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOn)
        return control
def _create_page_control(self):
        if self.custom_page_control:
            control = self.custom_page_control()
        elif self.kind == 'plain':
            control = QtGui.QPlainTextEdit()
        elif self.kind == 'rich':
            control = QtGui.QTextEdit()
        control.installEventFilter(self)
        viewport = control.viewport()
        viewport.installEventFilter(self)
        control.setReadOnly(True)
        control.setUndoRedoEnabled(False)
        control.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOn)
        return control
def _create_page_control ( self ) : if self . custom_page_control : control = self . custom_page_control ( ) elif self . kind == 'plain' : control = QtGui . QPlainTextEdit ( ) elif self . kind == 'rich' : control = QtGui . QTextEdit ( ) control . installEventFilter ( self ) viewport = control . viewport ( ) viewport . installEventFilter ( self ) control . setReadOnly ( True ) control . setUndoRedoEnabled ( False ) control . setVerticalScrollBarPolicy ( QtCore . Qt . ScrollBarAlwaysOn ) return control
Creates and connects the underlying paging widget.
Creates and connects the underlying paging widget .