close tab button...

[Edwin Leuven]

...magically reappeared thanks to a pixie on the list

i'd like to apply attached (icon + patch)

things look nicer then

ok?



Index: src/frontends/qt4/GuiWorkArea.cpp
===================================================================
--- src/frontends/qt4/GuiWorkArea.cpp   (revision 20913)
+++ src/frontends/qt4/GuiWorkArea.cpp   (working copy)
@@ -39,7 +39,8 @@
 #include <QLayout>
 #include <QMainWindow>
 #include <QPainter>
-#include <QPushButton>
+#include <QToolButton>
+#include <QPalette>
 #include <QScrollBar>
 #include <QTabBar>
 #include <QTimer>
@@ -697,16 +698,21 @@
 ////////////////////////////////////////////////////////////////////
 TabWorkArea::TabWorkArea(QWidget * parent): QTabWidget(parent)
 {
-       QPushButton * closeTabButton = new QPushButton(this);
+       QPalette pal = palette();
+       pal.setColor(QPalette::Active, QPalette::Button, 
pal.color(QPalette::Active, QPalette::Window));
+       pal.setColor(QPalette::Disabled, QPalette::Button, 
pal.color(QPalette::Disabled, QPalette::Window));
+       pal.setColor(QPalette::Inactive, QPalette::Button, 
pal.color(QPalette::Inactive, QPalette::Window));
+
+       QToolButton * closeTabButton = new QToolButton(this);
+    closeTabButton->setPalette(pal);
        FileName const file = support::libFileSearch("images", "closetab", 
"png");
        if (!file.empty()) {
                QPixmap pm(toqstr(file.absFilename()));
                closeTabButton->setIcon(QIcon(pm));
-               closeTabButton->setMaximumSize(pm.size());
-               closeTabButton->setFlat(true);
        } else {
                closeTabButton->setText("Close");
        }
+       closeTabButton->setAutoRaise(true);
        closeTabButton->setCursor(Qt::ArrowCursor);
        closeTabButton->setToolTip(tr("Close tab"));
        closeTabButton->setEnabled(true);

<<inline: closetab.png>>