##// END OF EJS Templates
Add comment for save_flag trait.
Thomas Kluyver -
Show More
@@ -80,6 +80,7 b' class HistoryManager(Configurable):'
80
80
81 # History saving in separate thread
81 # History saving in separate thread
82 save_thread = Instance('IPython.core.history.HistorySavingThread')
82 save_thread = Instance('IPython.core.history.HistorySavingThread')
83 # N.B. Event is a function returning an instance of _Event.
83 save_flag = Instance(threading._Event)
84 save_flag = Instance(threading._Event)
84
85
85 # Private interface
86 # Private interface
General Comments 0
You need to be logged in to leave comments. Login now