##// 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 if info and info.id == rep['parent_header']['msg_id'] and \
516 if info and info.id == rep['parent_header']['msg_id'] and \
517 info.pos == cursor.position():
517 info.pos == cursor.position():
518 content = rep['content']
518 content = rep['content']
519 if content.get('status') == 'ok':
519 if content.get('status') == 'ok' and content.get('found', False):
520 self._call_tip_widget.show_inspect_data(content)
520 self._call_tip_widget.show_inspect_data(content)
521
521
522 def _handle_execute_result(self, msg):
522 def _handle_execute_result(self, msg):
General Comments 0
You need to be logged in to leave comments. Login now