##// END OF EJS Templates
Merge pull request #3850 from minrk/store_history...
Min RK -
r11872:55dfcbc9 merge
parent child Browse files
Show More
@@ -252,7 +252,7 b' var IPython = (function (IPython) {'
252 'set_next_input': $.proxy(this._handle_set_next_input, this),
252 'set_next_input': $.proxy(this._handle_set_next_input, this),
253 'input_request': $.proxy(this._handle_input_request, this)
253 'input_request': $.proxy(this._handle_input_request, this)
254 };
254 };
255 var msg_id = this.kernel.execute(this.get_text(), callbacks, {silent: false});
255 var msg_id = this.kernel.execute(this.get_text(), callbacks, {silent: false, store_history: true});
256 };
256 };
257
257
258 /**
258 /**
@@ -135,7 +135,8 b' var IPython = (function (IPython) {'
135 'clear_output': empty,
135 'clear_output': empty,
136 'cell': cell
136 'cell': cell
137 }, {
137 }, {
138 'silent': false
138 'silent': false,
139 'store_history': true
139 });
140 });
140 this.remove_and_cancel_tooltip();
141 this.remove_and_cancel_tooltip();
141 }
142 }
@@ -300,6 +300,7 b' var IPython = (function (IPython) {'
300 var content = {
300 var content = {
301 code : code,
301 code : code,
302 silent : true,
302 silent : true,
303 store_history : false,
303 user_variables : [],
304 user_variables : [],
304 user_expressions : {},
305 user_expressions : {},
305 allow_stdin : false
306 allow_stdin : false
General Comments 0
You need to be logged in to leave comments. Login now