]> cloud.milkyroute.net Git - dolphin.git/blobdiff - src/dolphintabpage.h
Change wording "Leading Column Padding" to "Side Padding"
[dolphin.git] / src / dolphintabpage.h
index 57a0c33440552091d71059d590133d59a58551ca..a8c1ba31104607cb12060cbf0932b58c930ede94 100644 (file)
 #include <QPointer>
 #include <QUrl>
 #include <QWidget>
+#include <QSplitter>
 
 class DolphinNavigatorsWidgetAction;
 class DolphinViewContainer;
-class QSplitter;
 class QVariantAnimation;
 class KFileItemList;
+class DolphinTabPageSplitter;
 
 enum Animated {
     WithAnimation,
@@ -45,7 +46,7 @@ public:
      *
      * @param enabled      If true, creates a secondary viewContainer in this tab.
      *                     Otherwise deletes it.
-     * @param animated     Decides wether the effects of this method call should
+     * @param animated     Decides whether the effects of this method call should
      *                     happen instantly or be transitioned to smoothly.
      * @param secondaryUrl If \p enabled is true, the new viewContainer will be opened at this
      *                     parameter. The default value will set the Url of the new viewContainer
@@ -185,7 +186,7 @@ private:
     void startExpandViewAnimation(DolphinViewContainer *expandingContainer);
 
 private:
-    QSplitter* m_splitter;
+    DolphinTabPageSplitter *m_splitter;
 
     QPointer<DolphinNavigatorsWidgetAction> m_navigatorsWidget;
     QPointer<DolphinViewContainer> m_primaryViewContainer;
@@ -199,4 +200,34 @@ private:
     bool m_active;
 };
 
+class DolphinTabPageSplitterHandle : public QSplitterHandle
+{
+    Q_OBJECT
+
+public:
+    explicit DolphinTabPageSplitterHandle(Qt::Orientation orientation, QSplitter *parent);
+
+protected:
+    bool event(QEvent *event) override;
+
+private:
+    void resetSplitterSizes();
+
+    // Sometimes QSplitterHandle doesn't receive MouseButtonDblClick event.
+    // We can detect that MouseButtonDblClick event should have been
+    // received if we receive two MouseButtonRelease events in a row.
+    bool m_mouseReleaseWasReceived;
+};
+
+class DolphinTabPageSplitter : public QSplitter
+{
+    Q_OBJECT
+
+public:
+    explicit DolphinTabPageSplitter(Qt::Orientation orientation, QWidget *parent);
+
+protected:
+    QSplitterHandle* createHandle() override;
+};
+
 #endif // DOLPHIN_TAB_PAGE_H