##// END OF EJS Templates
review fixes
MinRK -
Show More
@@ -370,7 +370,7 b' class FrontendWidget(HistoryConsoleWidget, BaseFrontendMixin):'
370 sys.exit(0)
370 sys.exit(0)
371 else:
371 else:
372 # we just got notified of a restart!
372 # we just got notified of a restart!
373 time.sleep(0.25) # wait 1/4 sec to reest
373 time.sleep(0.25) # wait 1/4 sec to reset
374 # lest the request for a new prompt
374 # lest the request for a new prompt
375 # goes to the old kernel
375 # goes to the old kernel
376 self.reset()
376 self.reset()
@@ -33,6 +33,8 b' class MainWindow(QtGui.QMainWindow):'
33
33
34 def __init__(self, frontend, existing=False):
34 def __init__(self, frontend, existing=False):
35 """ Create a MainWindow for the specified FrontendWidget.
35 """ Create a MainWindow for the specified FrontendWidget.
36
37 If existing is True, then this Window does not own the Kernel.
36 """
38 """
37 super(MainWindow, self).__init__()
39 super(MainWindow, self).__init__()
38 self._frontend = frontend
40 self._frontend = frontend
@@ -663,11 +663,13 b' be sent, so the content dict is empty.'
663 Message type: ``shutdown_request``::
663 Message type: ``shutdown_request``::
664
664
665 content = {
665 content = {
666 'restart' : bool # whether the shutdown is final, or precedes a restart
666 }
667 }
667
668
668 Message type: ``shutdown_reply``::
669 Message type: ``shutdown_reply``::
669
670
670 content = {
671 content = {
672 'restart' : bool # whether the shutdown is final, or precedes a restart
671 }
673 }
672
674
673 .. Note::
675 .. Note::
General Comments 0
You need to be logged in to leave comments. Login now