diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp index 852a4707af..565a4fcf75 100644 --- a/src/frontends/qt4/GuiView.cpp +++ b/src/frontends/qt4/GuiView.cpp @@ -1760,8 +1760,8 @@ bool GuiView::dispatch(FuncRequest const & cmd) // hardcoded. if (GuiToolbar * t = toolbar("minibuffer")) { t->setVisible(show_it); - LASSERT(t->commandBuffer(), break); - t->commandBuffer()->setFocus(); + if (show_it && t->commandBuffer()) + t->commandBuffer()->setFocus(); } break; }