From aadb9c163697fa7bc2b8ed9e10ab64c356a5cd9b Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jf@dockes.org>
Date: Mon, 28 Dec 2020 18:50:21 +0100
Subject: [PATCH] GUI: prevent the doc category buttons frame to stretch
 vertically

---
 src/qtgui/rclmain_w.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/qtgui/rclmain_w.cpp b/src/qtgui/rclmain_w.cpp
index 42884c90..f9d7dfac 100644
--- a/src/qtgui/rclmain_w.cpp
+++ b/src/qtgui/rclmain_w.cpp
@@ -433,6 +433,11 @@ void RclMain::setupCategoryFiltering()
     m_filtFRM->setObjectName(QString::fromUtf8("m_filtFRM"));
     QHBoxLayout *bgrphbox = new QHBoxLayout(m_filtFRM);
     verticalLayout->insertWidget(1, m_filtFRM);
+    QSizePolicy sizePolicy2(QSizePolicy::Preferred, QSizePolicy::Maximum);
+    sizePolicy2.setHorizontalStretch(0);
+    sizePolicy2.setVerticalStretch(0);
+    sizePolicy2.setHeightForWidth(m_filtFRM->sizePolicy().hasHeightForWidth());
+    m_filtFRM->setSizePolicy(sizePolicy2);
     m_filtBGRP  = new QButtonGroup(m_filtFRM);
     QRadioButton *allRDB = new QRadioButton(m_filtFRM);
     allRDB->setObjectName("allRDB");