From b7c1e6637162d46e11ef64f1c1ed38a77598eca5 Mon Sep 17 00:00:00 2001
From: Kubat <mael.martin31@gmail.com>
Date: Tue, 6 Jul 2021 21:50:17 +0200
Subject: [PATCH] UI: Better tab position for docked widgets
---
src/UI/DocumentView.cc | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/src/UI/DocumentView.cc b/src/UI/DocumentView.cc
index 0610ec93..4fbabf42 100644
--- a/src/UI/DocumentView.cc
+++ b/src/UI/DocumentView.cc
@@ -10,6 +10,11 @@ DocumentView::DocumentView(QWidget *parent) noexcept
: QMainWindow(parent)
{
setStatusBar(nullptr);
+ setMenuBar(nullptr);
+ setTabPosition(Qt::TopDockWidgetArea, QTabWidget::North);
+ setTabPosition(Qt::BottomDockWidgetArea, QTabWidget::South);
+ setTabPosition(Qt::LeftDockWidgetArea, QTabWidget::West);
+ setTabPosition(Qt::RightDockWidgetArea, QTabWidget::East);
}
// A utility function to delete all the child widgets
--
GitLab