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