Added support for HTML paging and HTML page payloads.

IPython/frontend/qt/console/console_widget.py

@@ -752,7 +752,10 b' class ConsoleWidget(Configurable, QtGui.QWidget):'
     def _create_page_control(self):
         """ Creates and connects the underlying paging widget.
         """
+        if self.kind == 'plain':
         control = QtGui.QPlainTextEdit()
+        elif self.kind == 'rich':
+            control = QtGui.QTextEdit()
         control.installEventFilter(self)
         control.setReadOnly(True)
         control.setUndoRedoEnabled(False)
@@ -1346,21 +1349,25 b' class ConsoleWidget(Configurable, QtGui.QWidget):'
         else:
             self.input_buffer = ''
         
-    def _page(self, text):
-        """ Displays text using the pager if it exceeds the height of the
-            visible area.
+    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.
         """
-        if self.paging == 'none':
-            self._append_plain_text(text)
-        else:
             line_height = QtGui.QFontMetrics(self.font).height()
             minlines = self._control.viewport().height() / line_height
-            if re.match("(?:[^\n]*\n){%i}" % minlines, text):
+        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)
 
@@ -1370,6 +1377,8 b' class ConsoleWidget(Configurable, QtGui.QWidget):'
                         self._page_control.setFocus()
                     else:
                         self.layout().setCurrentWidget(self._page_control)
+        elif html:
+            self._append_plain_html(text)
             else:
                 self._append_plain_text(text)
 

IPython/frontend/qt/console/ipython_widget.py

@@ -430,7 +430,13 b' class IPythonWidget(FrontendWidget):'
         self.exit_requested.emit()
 
     def _handle_payload_page(self, item):
-        self._page(item['text'])
+        # Since the plain text widget supports only a very small subset of HTML
+        # and we have no control over the HTML source, we only page HTML
+        # payloads in the rich text widget.
+        if item['html'] and self.kind == 'rich':
+            self._page(item['html'], html=True)
+        else:
+            self._page(item['text'], html=False)
 
     #------ Trait change handlers ---------------------------------------------