minisplitter.cpp

Go to the documentation of this file.

/*
 * This program is free software; you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation; either version 3 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful, but
 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
 * for more details.
 *
 * You should have received a copy of the GNU General Public License along
 * with this program; if not, see <http://www.gnu.org/licenses/>
 */

#include "minisplitter.h"

#include <QPaintEvent>
#include <QPainter>
#include <QSplitterHandle>

namespace Core {
namespace Internal {

    class MiniSplitterHandle : public QSplitterHandle
    {
    public:
        MiniSplitterHandle(Qt::Orientation orientation, QSplitter *parent)
            : QSplitterHandle(orientation, parent)
        {
            setMask(QRegion(contentsRect()));
            setAttribute(Qt::WA_MouseNoMask, true);
        }

    protected:
        void resizeEvent(QResizeEvent *event);
        void paintEvent(QPaintEvent *event);
    };

} // namespace Internal
} // namespace Core

using namespace Core;
using namespace Core::Internal;

void MiniSplitterHandle::resizeEvent(QResizeEvent *event)
{
    // Warning: We specifically replace the QSplitterHandle::resizeEvent,
    // since there's no way of doing this while still calling it.
    // That's because it has pretty much identical code (in 4.7.0) which
    // undoes what we do here. And they didn't make that code configurable :)
    // This means that with Qt upgrades it's worthwhile to see if anything changed
    // in QSplitterHandle::resizeEvent, to see if there's anything important we miss.

    if (orientation() == Qt::Horizontal)
        setContentsMargins(6, 0, 6, 0);
    else
        setContentsMargins(0, 6, 0, 6);
    setMask(QRegion(contentsRect()));

    QWidget::resizeEvent(event);
}

void MiniSplitterHandle::paintEvent(QPaintEvent *event)
{
    QPainter painter(this);
    painter.fillRect(event->rect(), QColor(48, 48, 48));
}

QSplitterHandle *MiniSplitter::createHandle()
{
    return new MiniSplitterHandle(orientation(), this);
}

MiniSplitter::MiniSplitter(QWidget *parent)
    : QSplitter(parent)
{
    setHandleWidth(1);
    setChildrenCollapsible(false);
    setProperty("minisplitter", true);
}

MiniSplitter::MiniSplitter(Qt::Orientation orientation)
    : QSplitter(orientation)
{
    setHandleWidth(1);
    setChildrenCollapsible(false);
    setProperty("minisplitter", true);
}