From a19a0edfc03cf923135c3ae46fe6567208e4b247 Mon Sep 17 00:00:00 2001
From: Vincent van Ravesteijn <vfr@lyx.org>
Date: Fri, 28 Dec 2012 13:39:03 +0100
Subject: [PATCH] qt5: Use QStyleOptionTabWidgetFrame

QStyleOptionTabWidgetFrameV2 is identical to QStyleOptionTabWidgetFrame.
---
 src/frontends/qt4/GuiWorkArea.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/frontends/qt4/GuiWorkArea.cpp b/src/frontends/qt4/GuiWorkArea.cpp
index 5a91a6cca4..147d84203a 100644
--- a/src/frontends/qt4/GuiWorkArea.cpp
+++ b/src/frontends/qt4/GuiWorkArea.cpp
@@ -1563,7 +1563,11 @@ void TabWorkArea::paintEvent(QPaintEvent * event)
 		// painting of the frame of the tab widget.
 		// This is needed for gtk style in Qt.
 		QStylePainter p(this);
+#if QT_VERSION < 0x050000
 		QStyleOptionTabWidgetFrameV2 opt;
+#else
+		QStyleOptionTabWidgetFrame opt;
+#endif
 		initStyleOption(&opt);
 		opt.rect = style()->subElementRect(QStyle::SE_TabWidgetTabPane,
 			&opt, this);