Show More
@@ -919,7 +919,7 b" class ConsoleWidget(MetaQObjectHasTraits('NewBase', (LoggingConfigurable, QtGui." | |||||
919 |
|
919 | |||
920 | # Adjust the prompt position if we have inserted before it. This is safe |
|
920 | # Adjust the prompt position if we have inserted before it. This is safe | |
921 | # because buffer truncation is disabled when not executing. |
|
921 | # because buffer truncation is disabled when not executing. | |
922 | if before_prompt and not self._executing: |
|
922 | if before_prompt and (self._reading or not self._executing): | |
923 | diff = cursor.position() - start_pos |
|
923 | diff = cursor.position() - start_pos | |
924 | self._append_before_prompt_pos += diff |
|
924 | self._append_before_prompt_pos += diff | |
925 | self._prompt_pos += diff |
|
925 | self._prompt_pos += diff | |
@@ -1758,8 +1758,10 b" class ConsoleWidget(MetaQObjectHasTraits('NewBase', (LoggingConfigurable, QtGui." | |||||
1758 | # case input prompt is active. |
|
1758 | # case input prompt is active. | |
1759 | buffer_size = self._control.document().maximumBlockCount() |
|
1759 | buffer_size = self._control.document().maximumBlockCount() | |
1760 |
|
1760 | |||
1761 |
if self._executing and not flush and |
|
1761 | if (self._executing and not flush and | |
1762 |
self._pending_text_flush_interval.isActive() |
|
1762 | self._pending_text_flush_interval.isActive() and | |
|
1763 | cursor.position() == self._get_end_cursor().position()): | |||
|
1764 | # Queue the text to insert in case it is being inserted at end | |||
1763 | self._pending_insert_text.append(text) |
|
1765 | self._pending_insert_text.append(text) | |
1764 | if buffer_size > 0: |
|
1766 | if buffer_size > 0: | |
1765 | self._pending_insert_text = self._get_last_lines_from_list( |
|
1767 | self._pending_insert_text = self._get_last_lines_from_list( | |
@@ -2095,6 +2097,7 b" class ConsoleWidget(MetaQObjectHasTraits('NewBase', (LoggingConfigurable, QtGui." | |||||
2095 | self._prompt = prompt |
|
2097 | self._prompt = prompt | |
2096 | self._prompt_html = None |
|
2098 | self._prompt_html = None | |
2097 |
|
2099 | |||
|
2100 | self._flush_pending_stream() | |||
2098 | self._prompt_pos = self._get_end_cursor().position() |
|
2101 | self._prompt_pos = self._get_end_cursor().position() | |
2099 | self._prompt_started() |
|
2102 | self._prompt_started() | |
2100 |
|
2103 |
General Comments 0
You need to be logged in to leave comments.
Login now