Show More
@@ -541,6 +541,20 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):' | |||||
541 | if reply == QtGui.QMessageBox.Yes: |
|
541 | if reply == QtGui.QMessageBox.Yes: | |
542 | self.exit_requested.emit(self) |
|
542 | self.exit_requested.emit(self) | |
543 |
|
543 | |||
|
544 | def _handle_status(self, msg): | |||
|
545 | """Handle status message""" | |||
|
546 | # This is where a busy/idle indicator would be triggered, | |||
|
547 | # when we make one. | |||
|
548 | state = msg['content'].get('execution_state', '') | |||
|
549 | if state == 'starting': | |||
|
550 | # kernel started while we were running | |||
|
551 | if self._executing: | |||
|
552 | self._handle_kernel_restarted(died=True) | |||
|
553 | elif state == 'idle': | |||
|
554 | pass | |||
|
555 | elif state == 'busy': | |||
|
556 | pass | |||
|
557 | ||||
544 | def _started_channels(self): |
|
558 | def _started_channels(self): | |
545 | """ Called when the KernelManager channels have started listening or |
|
559 | """ Called when the KernelManager channels have started listening or | |
546 | when the frontend is assigned an already listening KernelManager. |
|
560 | when the frontend is assigned an already listening KernelManager. |
General Comments 0
You need to be logged in to leave comments.
Login now