From c48f930fb3a2fc59741582919f8ed99b885c51c5 Mon Sep 17 00:00:00 2001
From: klayoutmatthias <matthias@klayout.org>
Date: Thu, 14 Oct 2021 23:48:24 +0200
Subject: [PATCH] Fixed #918 by using ignore size policy for the editor options
 tab widget

---
 src/laybasic/laybasic/layEditorOptionsPages.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/laybasic/laybasic/layEditorOptionsPages.cc b/src/laybasic/laybasic/layEditorOptionsPages.cc
index 0d53bae60..eaac5cd8c 100644
--- a/src/laybasic/laybasic/layEditorOptionsPages.cc
+++ b/src/laybasic/laybasic/layEditorOptionsPages.cc
@@ -56,6 +56,7 @@ EditorOptionsPages::EditorOptionsPages (QWidget *parent, const std::vector<lay::
   ly1->setMargin (0);
 
   mp_pages = new QTabWidget (this);
+  mp_pages->setSizePolicy (QSizePolicy (QSizePolicy::Ignored, QSizePolicy::Ignored));
   ly1->addWidget (mp_pages);
 
   m_pages = pages;