undo a change the broke cursor management

push push pop pop must always work, even if the two pushes are for the same cursor
This commit is contained in:
Paul Davis 2024-11-19 16:31:36 -07:00
parent f598f4e4e0
commit 28e638deac

View file

@ -2082,12 +2082,6 @@ size_t
EditingContext::push_canvas_cursor (Gdk::Cursor* cursor)
{
if (!_cursors->is_invalid (cursor)) {
if (!_cursor_stack.empty()) {
if (cursor == _cursor_stack.back()) {
return _cursor_stack.size() - 1;
}
}
_cursor_stack.push_back (cursor);
set_canvas_cursor (cursor);
}