##// END OF EJS Templates
Implement exit/quit/Exit/Quit recognition....
Implement exit/quit/Exit/Quit recognition. The code occurs via a special payload, which causes the frontend to post a closeEvent(). The event handler for this opens a confirmation box, and if the answer is yes, it shuts down the kernel before exiting the whole application.

File last commit:

r2761:7b6e19f0
r2950:cd1513ad
Show More
inputlist.py
14 lines | 346 B | text/x-python | PythonLexer
class InputList(list):
"""Class to store user input.
It's basically a list, but slices return a string instead of a list, thus
allowing things like (assuming 'In' is an instance):
exec In[4:7]
or
exec In[5:9] + In[14] + In[21:25]"""
def __getslice__(self,i,j):
return ''.join(list.__getslice__(self,i,j))