Remove setBuffer call in Cursor::push.

This is potentially slow. It also should be unnecessary after
some of JMarc's recent commits. See bug #13050.
This commit is contained in:
Richard Kimberly Heck 2024-06-01 12:06:13 -04:00
parent 61181a3977
commit 66cfc6af3c

View File

@ -903,7 +903,8 @@ void Cursor::pop()
void Cursor::push(Inset & inset) void Cursor::push(Inset & inset)
{ {
push_back(CursorSlice(inset)); push_back(CursorSlice(inset));
inset.setBuffer(*buffer()); // See bug #13050
// inset.setBuffer(*buffer());
} }