--- a/src/MainWindow.cc Mon Feb 24 00:23:54 2014 +0200 +++ b/src/MainWindow.cc Mon Feb 24 00:25:18 2014 +0200 @@ -929,12 +929,8 @@ // If this is the current file, it also needs to be the selected item on // the list. - log ("%1 <-> %2\n", f, getCurrentDocument()); if (f == getCurrentDocument()) - { - log ("New index: %1\n", f->getTabIndex()); m_tabs->setCurrentIndex (f->getTabIndex()); - } m_tabs->setTabText (f->getTabIndex(), f->getDisplayName());