##// END OF EJS Templates
BF: history message had string keys, converted to create properly sorted history
Satrajit Ghosh -
Show More
@@ -128,7 +128,7 b' class HistoryConsoleWidget(ConsoleWidget):'
128 break
128 break
129 else:
129 else:
130 history = None
130 history = None
131
131
132 if history is not None:
132 if history is not None:
133 self._history_index = index
133 self._history_index = index
134 self.input_buffer = history
134 self.input_buffer = history
@@ -167,7 +167,10 b' class IPythonWidget(FrontendWidget):'
167 the IPython kernel.
167 the IPython kernel.
168 """
168 """
169 history_dict = msg['content']['history']
169 history_dict = msg['content']['history']
170 items = [ history_dict[key] for key in sorted(history_dict.keys()) ]
170 input_history_dict = {}
171 for key,val in history_dict.items():
172 input_history_dict[int(key)] = val
173 items = [ val for _, val in sorted(input_history_dict.items()) ]
171 self._set_history(items)
174 self._set_history(items)
172
175
173 def _handle_pyout(self, msg):
176 def _handle_pyout(self, msg):
General Comments 0
You need to be logged in to leave comments. Login now