diff options
| author | Eugene Popov <[email protected]> | 2021-08-30 14:18:21 +0000 |
|---|---|---|
| committer | Nate Graham <[email protected]> | 2021-08-30 14:18:21 +0000 |
| commit | b712c9fc4631c85c469e3ff64d67f4abc9a8a542 (patch) | |
| tree | 558b2e78654ebdea7a6c993a89cc2abf4c46437a /src/dolphintabpage.cpp | |
| parent | 99cc976a8564cbdae63e4261fcb2292a33148dbc (diff) | |
[Split view] Reset splitter position on double click
This commit makes Dolphin to reset the position of the Split View splitter
on double-click.
BUG: 206525
FIXED-IN: 21.12
Diffstat (limited to 'src/dolphintabpage.cpp')
| -rw-r--r-- | src/dolphintabpage.cpp | 47 |
1 files changed, 45 insertions, 2 deletions
diff --git a/src/dolphintabpage.cpp b/src/dolphintabpage.cpp index 33c77c42a..771bbe9cd 100644 --- a/src/dolphintabpage.cpp +++ b/src/dolphintabpage.cpp @@ -12,7 +12,6 @@ #include "global.h" #include <QVariantAnimation> -#include <QSplitter> #include <QGridLayout> #include <QWidgetAction> #include <QStyle> @@ -28,7 +27,7 @@ DolphinTabPage::DolphinTabPage(const QUrl &primaryUrl, const QUrl &secondaryUrl, layout->setSpacing(0); layout->setContentsMargins(0, 0, 0, 0); - m_splitter = new QSplitter(Qt::Horizontal, this); + m_splitter = new DolphinTabPageSplitter(Qt::Horizontal, this); m_splitter->setChildrenCollapsible(false); connect(m_splitter, &QSplitter::splitterMoved, this, &DolphinTabPage::splitterMoved); @@ -505,3 +504,47 @@ void DolphinTabPage::startExpandViewAnimation(DolphinViewContainer *expandingCon } m_expandViewAnimation->start(QAbstractAnimation::DeleteWhenStopped); } + +DolphinTabPageSplitterHandle::DolphinTabPageSplitterHandle(Qt::Orientation orientation, QSplitter *parent) + : QSplitterHandle(orientation, parent) + , m_mouseReleaseWasReceived(false) +{} + +bool DolphinTabPageSplitterHandle::event(QEvent *event) +{ + switch (event->type()) { + case QEvent::MouseButtonPress: + m_mouseReleaseWasReceived = false; + break; + case QEvent::MouseButtonRelease: + if (m_mouseReleaseWasReceived) { + resetSplitterSizes(); + } + m_mouseReleaseWasReceived = !m_mouseReleaseWasReceived; + break; + case QEvent::MouseButtonDblClick: + m_mouseReleaseWasReceived = false; + resetSplitterSizes(); + break; + default: + break; + } + + return QSplitterHandle::event(event); +} + +void DolphinTabPageSplitterHandle::resetSplitterSizes() +{ + QList<int> splitterSizes = splitter()->sizes(); + std::fill(splitterSizes.begin(), splitterSizes.end(), 0); + splitter()->setSizes(splitterSizes); +} + +DolphinTabPageSplitter::DolphinTabPageSplitter(Qt::Orientation orientation, QWidget *parent) + : QSplitter(orientation, parent) +{} + +QSplitterHandle* DolphinTabPageSplitter::createHandle() +{ + return new DolphinTabPageSplitterHandle(orientation(), this); +} |
