From e79ec48d8941fc814462f9c8ccbeebfe7f9c8663 Mon Sep 17 00:00:00 2001
From: Peter Albrecht <albrecpe@gmail.com>
Date: Fri, 12 Jan 2024 17:54:02 +0100
Subject: [PATCH] Change scroll type
---
.../gui-plugins/LoggingPlugin/ArmarXLogViewer/LogViewer.ui | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/source/ArmarXGui/gui-plugins/LoggingPlugin/ArmarXLogViewer/LogViewer.ui b/source/ArmarXGui/gui-plugins/LoggingPlugin/ArmarXLogViewer/LogViewer.ui
index 4bdadde0..bc3e427a 100644
--- a/source/ArmarXGui/gui-plugins/LoggingPlugin/ArmarXLogViewer/LogViewer.ui
+++ b/source/ArmarXGui/gui-plugins/LoggingPlugin/ArmarXLogViewer/LogViewer.ui
@@ -241,7 +241,6 @@ p, li { white-space: pre-wrap; }
<widget class="QLabel" name="label">
<property name="font">
<font>
- <weight>75</weight>
<bold>true</bold>
</font>
</property>
@@ -293,6 +292,9 @@ p, li { white-space: pre-wrap; }
<pointsize>8</pointsize>
</font>
</property>
+ <property name="verticalScrollMode">
+ <enum>QAbstractItemView::ScrollPerPixel</enum>
+ </property>
<property name="rootIsDecorated">
<bool>true</bool>
</property>
--
GitLab