##// END OF EJS Templates
check whether line was edited in qt history scroll...
MinRK -
Show More
@@ -90,7 +90,8 b' class HistoryConsoleWidget(ConsoleWidget):'
90 # and the cursor is at the end of the first line
90 # and the cursor is at the end of the first line
91 first_line = input_buffer.split('\n', 1)[0]
91 first_line = input_buffer.split('\n', 1)[0]
92 if self._history_index == len(self._history) or \
92 if self._history_index == len(self._history) or \
93 not (self._history_prefix == '' and col == len(first_line)):
93 not (self._history_prefix == '' and col == len(first_line)) or \
94 not (self._get_edited_history(self._history_index)[:col] == input_buffer[:col]):
94 self._history_prefix = input_buffer[:col]
95 self._history_prefix = input_buffer[:col]
95
96
96 # Perform the search.
97 # Perform the search.
General Comments 0
You need to be logged in to leave comments. Login now