Fix a merge issue

This commit is contained in:
Darren Burns 2022-07-12 15:26:58 +01:00
parent a55b1b8558
commit 96fc0a6cd5
1 changed files with 7 additions and 11 deletions

View File

@ -1972,19 +1972,15 @@ class Console:
with self._lock: with self._lock:
if self.record: if self.record:
with self._record_buffer_lock: with self._record_buffer_lock:
self._record_buffer.extend(self._buffer[:]) self._record_buffer.extend(
[
segment
for segment in self._buffer[:]
if not isinstance(segment, _NonRecordedSegment)
]
)
if self._buffer_index == 0: if self._buffer_index == 0:
if self.record:
with self._record_buffer_lock:
self._record_buffer.extend(
[
segment
for segment in self._buffer[:]
if not isinstance(segment, _NonRecordedSegment)
]
)
if self.is_jupyter: # pragma: no cover if self.is_jupyter: # pragma: no cover
from .jupyter import display from .jupyter import display