Added an 'export_html' method back to the public interface of ConsoleWidget.

IPython/frontend/qt/console/console_widget.py

@@ -199,7 +199,7 b' class ConsoleWidget(Configurable, QtGui.QWidget):'
 
         action = QtGui.QAction('Save as HTML/XML', None)
         action.setShortcut(QtGui.QKeySequence.Save)
-        action.triggered.connect(self._html_exporter.export)
+        action.triggered.connect(self.export_html)
         self.addAction(action)
         self._export_action = action
         
@@ -468,6 +468,11 b' class ConsoleWidget(Configurable, QtGui.QWidget):'
 
         return complete
 
+    def export_html(self):
+        """ Shows a dialog to export HTML/XML in various formats.
+        """
+        self._html_exporter.export()
+
     def _get_input_buffer(self):
         """ The text that the user has entered entered at the current prompt.
         """