##// END OF EJS Templates
Merge pull request #5916 from minrk/bad-source...
Min RK -
r16809:8b6b3163 merge
parent child Browse files
Show More
@@ -566,5 +566,5 b" default_gui_banner = ''.join(default_gui_banner_parts)"
566 566 def page_guiref(arg_s=None):
567 567 """Show a basic reference about the GUI Console."""
568 568 from IPython.core import page
569 page.page(gui_reference, auto_html=True)
569 page.page(gui_reference)
570 570
@@ -233,7 +233,6 b' class IPythonWidget(FrontendWidget):'
233 233 # data. But we need to figure out how to handle this in the GUI.
234 234 if not self._hidden and self._is_from_this_session(msg):
235 235 self.flush_clearoutput()
236 source = msg['content']['source']
237 236 data = msg['content']['data']
238 237 metadata = msg['content']['metadata']
239 238 # In the regular IPythonWidget, we simply print the plain text
@@ -135,7 +135,6 b' class RichIPythonWidget(IPythonWidget):'
135 135 """
136 136 if not self._hidden and self._is_from_this_session(msg):
137 137 self.flush_clearoutput()
138 source = msg['content']['source']
139 138 data = msg['content']['data']
140 139 metadata = msg['content']['metadata']
141 140 # Try to use the svg or html representations.
General Comments 0
You need to be logged in to leave comments. Login now