##// END OF EJS Templates
Merge pull request #5965 from minrk/qt-shutdown...
Thomas Kluyver -
r16976:06b3624f merge
parent child Browse files
Show More
@@ -716,7 +716,7 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):'
716 """ Shows a call tip, if appropriate, at the current cursor location.
716 """ Shows a call tip, if appropriate, at the current cursor location.
717 """
717 """
718 # Decide if it makes sense to show a call tip
718 # Decide if it makes sense to show a call tip
719 if not self.enable_calltips:
719 if not self.enable_calltips or not self.kernel_client.shell_channel.is_alive():
720 return False
720 return False
721 cursor_pos = self._get_input_buffer_cursor_pos()
721 cursor_pos = self._get_input_buffer_cursor_pos()
722 code = self.input_buffer
722 code = self.input_buffer
General Comments 0
You need to be logged in to leave comments. Login now