/************************************************************************** ** ** This file is part of Qt Creator ** ** Copyright (c) 2010 Nokia Corporation and/or its subsidiary(-ies). ** ** Contact: Nokia Corporation (qt-info@nokia.com) ** ** Commercial Usage ** ** Licensees holding valid Qt Commercial licenses may use this file in ** accordance with the Qt Commercial License Agreement provided with the ** Software or, alternatively, in accordance with the terms contained in ** a written agreement between you and Nokia. ** ** GNU Lesser General Public License Usage ** ** Alternatively, this file may be used under the terms of the GNU Lesser ** General Public License version 2.1 as published by the Free Software ** Foundation and appearing in the file LICENSE.LGPL included in the ** packaging of this file. Please review the following information to ** ensure the GNU Lesser General Public License version 2.1 requirements ** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html. ** ** If you are unsure which license is appropriate for your use, please ** contact the sales department at http://qt.nokia.com/contact. ** **************************************************************************/ #include "minisplitter.h" #include #include #include #include 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) { if (orientation() == Qt::Horizontal) setContentsMargins(2, 0, 2, 0); else setContentsMargins(0, 2, 0, 2); setMask(QRegion(contentsRect())); QSplitterHandle::resizeEvent(event); } void MiniSplitterHandle::paintEvent(QPaintEvent *event) { QPainter painter(this); painter.fillRect(event->rect(), Utils::StyleHelper::borderColor()); } 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); }