diff --git a/src/frontends/qt4/GuiWorkArea.cpp b/src/frontends/qt4/GuiWorkArea.cpp index 4e4d3d467e..2604f2a386 100644 --- a/src/frontends/qt4/GuiWorkArea.cpp +++ b/src/frontends/qt4/GuiWorkArea.cpp @@ -62,7 +62,7 @@ #include #include #ifdef Q_WS_MACX -#include +#include #endif #include #include @@ -1488,13 +1488,13 @@ void EmbeddedWorkArea::disable() //////////////////////////////////////////////////////////////////// #ifdef Q_WS_MACX -class NoTabFrameMacStyle : public QMacStyle { +class NoTabFrameMacStyle : public QProxyStyle { public: /// QRect subElementRect(SubElement element, const QStyleOption * option, const QWidget * widget = 0) const { - QRect rect = QMacStyle::subElementRect(element, option, widget); + QRect rect = QProxyStyle::subElementRect(element, option, widget); bool noBar = static_cast(widget)->count() <= 1; // The Qt Mac style puts the contents into a 3 pixel wide box