Activate work area by tab click.

Fix for #11835.
Patch by Daniel Ramoeller.

diff --git a/po/cs.gmo b/po/cs.gmo
index f19e6a9413ee7fe667b181e080d1612ba38a5c98..c59df93188cf7e258c73d95797b814b15d7bcdbd 100644 (file)
Binary files a/po/cs.gmo and b/po/cs.gmo differ

diff --git a/src/frontends/qt/GuiWorkArea.cpp b/src/frontends/qt/GuiWorkArea.cpp
index f6e3c723dfdee2e78597be93177bfab111aabf1f..87181f95e928c590c9c083ee1571159a0a33cdac 100644 (file)
--- a/src/frontends/qt/GuiWorkArea.cpp
+++ b/src/frontends/qt/GuiWorkArea.cpp
@@ -1499,6 +1499,11 @@ TabWorkArea::TabWorkArea(QWidget * parent)
 
        QObject::connect(this, SIGNAL(currentChanged(int)),
                this, SLOT(on_currentTabChanged(int)));
+#if QT_VERSION >= 0x050200
+       // Fix for #11835
+       QObject::connect(this, SIGNAL(tabBarClicked(int)),
+               this, SLOT(on_currentTabChanged(int)));
+#endif
 
        closeBufferButton = new QToolButton(this);
        closeBufferButton->setPalette(pal);