From 0fdb5a34f6587098ebbeae810f8fa42e521a0215 2011-03-12 00:58:23
From: epatters <epatters@enthought.com>
Date: 2011-03-12 00:58:23
Subject: [PATCH] Added an 'export_html' method back to the public interface of ConsoleWidget.

---

diff --git a/IPython/frontend/qt/console/console_widget.py b/IPython/frontend/qt/console/console_widget.py
index 490baab..b2cbe33 100644
--- a/IPython/frontend/qt/console/console_widget.py
+++ b/IPython/frontend/qt/console/console_widget.py
@@ -199,7 +199,7 @@ 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 @@ 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.
         """