comparison view/PaneStack.cpp @ 1606:d6976d231efb

Reduce heights of alignment views if (they are visible and) we are squashed for space

 #include <QPalette>
 #include <QLabel>
 #include <QPushButton>
 #include <QSplitter>
 #include <QStackedWidget>
+#include <QResizeEvent>
 
 #include <iostream>
 
 //#define DEBUG_PANE_STACK 1
 

             av->setViewAbove(m_panes[i-1].pane);
             av->setViewBelow(m_panes[i].pane);
             av->show();
         }
     }
+
+    adjustAlignmentViewHeights(size().height());
 }
 
 void
 PaneStack::unlinkAlignmentViews()
 {
     for (int i = 0; in_range_for(m_panes, i); ++i) {
         auto av = m_panes[i].alignmentView;
         if (!av) continue;
         av->setViewAbove(nullptr);
         av->setViewBelow(nullptr);
+    }
+}
+
+void
+PaneStack::resizeEvent(QResizeEvent *ev)
+{
+    adjustAlignmentViewHeights(ev->size().height());
+}
+
+void
+PaneStack::adjustAlignmentViewHeights(int forMyHeight)
+{
+    if (!(m_options & int(Option::ShowAlignmentViews))) return;
+    if (!(m_options & int(Option::NoUserResize))) return;
+    if (!isVisible()) return;
+
+    int heightPerPane = forMyHeight / int(m_panes.size());
+
+    SVCERR << "heightPerPane = " << heightPerPane << " ("
+           << forMyHeight << "/" << m_panes.size() << ")" << endl;
+    
+    int roomForAlignmentView = heightPerPane / 4;
+    int min = ViewManager::scalePixelSize(6);
+    int max = ViewManager::scalePixelSize(25);
+    int alignmentHeight = roomForAlignmentView;
+    if (alignmentHeight < min) {
+        alignmentHeight = min;
+    }
+    if (alignmentHeight > max) {
+        alignmentHeight = max;
+    }
+
+    SVCERR << "alignmentHeight = " << alignmentHeight << endl;
+    
+    for (int i = 0; in_range_for(m_panes, i); ++i) {
+        auto av = m_panes[i].alignmentView;
+        if (!av) continue;
+        av->setFixedHeight(alignmentHeight);
     }
 }
 
 void
 PaneStack::setPropertyStackMinWidth(int mw)