Revert "Fix crash"

A better fix is forthcoming.

This reverts commit 177ad3d4a4c6d9d96391a471630d6164170aca39.

diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp
index 7edbcc54216ea41bd6d2ea80c9e93d8b9727a021..a6b5877be1e67a9f8a114c65d378ef828136e273 100644 (file)
--- a/src/frontends/qt4/GuiView.cpp
+++ b/src/frontends/qt4/GuiView.cpp
@@ -1655,7 +1655,7 @@ void GuiView::structureChanged()
        // This is called from the Buffer, which has no way to ensure that cursors
        // in BufferView remain valid.
        if (documentBufferView())
-               documentBufferView()->cursor().fixIfBroken();
+               documentBufferView()->cursor().sanitize();
        // FIXME: This is slightly expensive, though less than the tocBackend update
        // (#9880). This also resets the view in the Toc Widget (#6675).
        d.toc_models_.reset(documentBufferView());