Show More
@@ -716,7 +716,7 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):' | |||
|
716 | 716 | """ Shows a call tip, if appropriate, at the current cursor location. |
|
717 | 717 | """ |
|
718 | 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 | 720 | return False |
|
721 | 721 | cursor_pos = self._get_input_buffer_cursor_pos() |
|
722 | 722 | code = self.input_buffer |
General Comments 0
You need to be logged in to leave comments.
Login now