// break;
case QEvent::WindowActivate:
+ theApp()->setCurrentView(*this);
if (d.tab_widget_->count()) {
GuiWorkArea * wa = dynamic_cast<GuiWorkArea *>(
d.tab_widget_->currentWidget());
void GuiWorkArea::focusInEvent(QFocusEvent * /*event*/)
{
- // No need to do anything if we didn't change views...
-// if (theApp() == 0 || &lyx_view_ == theApp()->currentView())
-// return;
-
- theApp()->setCurrentView(*lyx_view_);
-
// Repaint the whole screen.
// Note: this is different from redraw() as only the backing pixmap
// will be redrawn, which is cheap.