Show More
@@ -191,7 +191,7 b' class HistoryConsoleWidget(ConsoleWidget):' | |||||
191 | """ |
|
191 | """ | |
192 | index = self._history_index |
|
192 | index = self._history_index | |
193 | replace = False |
|
193 | replace = False | |
194 |
while |
|
194 | while index < len(self._history): | |
195 | index += 1 |
|
195 | index += 1 | |
196 | history = self._get_edited_history(index) |
|
196 | history = self._get_edited_history(index) | |
197 | if (as_prefix and history.startswith(substring)) \ |
|
197 | if (as_prefix and history.startswith(substring)) \ |
General Comments 0
You need to be logged in to leave comments.
Login now