diff --git a/src/frontends/qt4/GuiSelection.cpp b/src/frontends/qt4/GuiSelection.cpp index bc3022b652..d12ee00829 100644 --- a/src/frontends/qt4/GuiSelection.cpp +++ b/src/frontends/qt4/GuiSelection.cpp @@ -100,6 +100,8 @@ bool GuiSelection::empty() const if (!selection_supported_) return true; + LYXERR(Debug::ACTION, "GuiSelection::empty: " << text_selection_empty_); + return text_selection_empty_; }