diff -r 7ef03c2b46ab -r 1fa0e1de9f0a src/mainwindow.ui
--- a/src/mainwindow.ui Mon Jun 20 17:27:30 2022 +0300
+++ b/src/mainwindow.ui Mon Jun 20 18:40:22 2022 +0300
@@ -16,6 +16,9 @@
true
+
+ QMainWindow::AllowNestedDocks|QMainWindow::AllowTabbedDocks|QMainWindow::AnimatedDocks
+
-
@@ -160,6 +163,9 @@
+
+ QDockWidget::DockWidgetFloatable|QDockWidget::DockWidgetMovable
+
Tool options
@@ -175,6 +181,9 @@
+
+ QDockWidget::DockWidgetFloatable|QDockWidget::DockWidgetMovable
+
Model body
@@ -206,6 +215,9 @@
+
+ QDockWidget::DockWidgetFloatable|QDockWidget::DockWidgetMovable
+
Message log
@@ -215,10 +227,25 @@
-
-
-
+
+
true
+
+ QAbstractItemView::ScrollPerPixel
+
+
+ Qt::DotLine
+
+
+ 150
+
+
+ true
+
+
+ false
+