##// END OF EJS Templates
Only track unique history of commands
Jamshed Vesuna -
Show More
@@ -230,6 +230,7 b' class TerminalInteractiveShell(InteractiveShell):'
230 cell = cell.rstrip()
230 cell = cell.rstrip()
231 if cell and (cell != last_cell):
231 if cell and (cell != last_cell):
232 history.append(cell)
232 history.append(cell)
233 last_cell = cell
233
234
234 self._style = self._make_style_from_name_or_cls(self.highlighting_style)
235 self._style = self._make_style_from_name_or_cls(self.highlighting_style)
235 style = DynamicStyle(lambda: self._style)
236 style = DynamicStyle(lambda: self._style)
General Comments 0
You need to be logged in to leave comments. Login now