##// END OF EJS Templates
Put history saving into a separate thread.
Put history saving into a separate thread.
Thomas Kluyver -
r3711:619fc287
Show More