##// END OF EJS Templates
Merge pull request #6729 from takluyver/qtconsole-empty-tooltip...
Min RK -
r18406:971330d9 merge
parent child Browse files
Show More
@@ -516,7 +516,7 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):'
516 516 if info and info.id == rep['parent_header']['msg_id'] and \
517 517 info.pos == cursor.position():
518 518 content = rep['content']
519 if content.get('status') == 'ok':
519 if content.get('status') == 'ok' and content.get('found', False):
520 520 self._call_tip_widget.show_inspect_data(content)
521 521
522 522 def _handle_execute_result(self, msg):
General Comments 0
You need to be logged in to leave comments. Login now