Pavel Sanda ha scritto:
1. new file
2. find and open (advanced) //open
3. close file
4. find and open (advanced) //close
5. kaboom
As observed by Vincent, the assertion is not needed, and I verified that
setCurrentWorkArea() tolerates a NULL argument (see attached patch).
I can commit, unless objections are raised.
T.
Index: src/frontends/qt4/GuiWorkArea.cpp
===================================================================
--- src/frontends/qt4/GuiWorkArea.cpp (revisione 31338)
+++ src/frontends/qt4/GuiWorkArea.cpp (copia locale)
@@ -1279,7 +1279,7 @@
stopBlinkingCursor();
if (view().currentWorkArea() != this)
return;
- LASSERT(view().currentMainWorkArea(), /* */);
+ // setCurrentWorkArea() allows for a NULL argument
view().setCurrentWorkArea(view().currentMainWorkArea());
}
