From 377d8ea014cd1d39bfa9ba5b2f88fff7269b3e71 Mon Sep 17 00:00:00 2001
From: Fabian Peller-Konrad <fabian.peller-konrad@kit.edu>
Date: Tue, 27 Sep 2022 14:14:49 +0200
Subject: [PATCH] updated skill manager gui to allow minimizing the active
skills window
---
.../SkillManagerMonitorWidget.ui | 241 ++++++++++--------
1 file changed, 131 insertions(+), 110 deletions(-)
diff --git a/source/RobotAPI/gui-plugins/SkillManagerPlugin/SkillManagerMonitorWidget.ui b/source/RobotAPI/gui-plugins/SkillManagerPlugin/SkillManagerMonitorWidget.ui
index 3aa3984c6..de1c74970 100644
--- a/source/RobotAPI/gui-plugins/SkillManagerPlugin/SkillManagerMonitorWidget.ui
+++ b/source/RobotAPI/gui-plugins/SkillManagerPlugin/SkillManagerMonitorWidget.ui
@@ -13,138 +13,159 @@
<property name="windowTitle">
<string>SkillManagerMonitorWidget</string>
</property>
- <layout class="QVBoxLayout" name="verticalLayout">
+ <layout class="QHBoxLayout" name="horizontalLayout">
<item>
- <widget class="QGroupBox" name="groupBoxActiveSkills">
- <property name="sizePolicy">
- <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
- <horstretch>0</horstretch>
- <verstretch>0</verstretch>
- </sizepolicy>
+ <widget class="QSplitter" name="splitter_2">
+ <property name="enabled">
+ <bool>true</bool>
</property>
- <property name="title">
- <string>Active Skills</string>
+ <property name="lineWidth">
+ <number>5</number>
</property>
- <layout class="QGridLayout" name="gridLayout_3">
- <item row="0" column="0">
- <widget class="QListWidget" name="listWidgetActiveSkills">
- <property name="sizePolicy">
- <sizepolicy hsizetype="Expanding" vsizetype="Expanding">
- <horstretch>0</horstretch>
- <verstretch>0</verstretch>
- </sizepolicy>
- </property>
- </widget>
- </item>
- </layout>
- </widget>
- </item>
- <item>
- <widget class="QSplitter" name="splitter">
<property name="orientation">
- <enum>Qt::Horizontal</enum>
+ <enum>Qt::Vertical</enum>
</property>
- <widget class="QGroupBox" name="groupBoxSkills">
+ <property name="handleWidth">
+ <number>25</number>
+ </property>
+ <widget class="QGroupBox" name="groupBoxActiveSkills">
+ <property name="sizePolicy">
+ <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
+ <horstretch>0</horstretch>
+ <verstretch>0</verstretch>
+ </sizepolicy>
+ </property>
<property name="title">
- <string>Manager</string>
+ <string>Active Skills</string>
</property>
- <layout class="QGridLayout" name="gridLayout">
- <item row="2" column="0">
- <widget class="QLabel" name="label">
- <property name="text">
- <string>Update Frequency:</string>
+ <layout class="QGridLayout" name="gridLayout_3">
+ <property name="bottomMargin">
+ <number>9</number>
+ </property>
+ <item row="0" column="0">
+ <widget class="QListWidget" name="listWidgetActiveSkills">
+ <property name="sizePolicy">
+ <sizepolicy hsizetype="Expanding" vsizetype="Expanding">
+ <horstretch>0</horstretch>
+ <verstretch>0</verstretch>
+ </sizepolicy>
</property>
</widget>
</item>
- <item row="3" column="0" colspan="3">
- <widget class="QTreeWidget" name="treeWidgetSkills">
- <column>
- <property name="text">
- <string>Skill</string>
- </property>
- </column>
- <column>
+ </layout>
+ </widget>
+ <widget class="QSplitter" name="splitter">
+ <property name="lineWidth">
+ <number>5</number>
+ </property>
+ <property name="orientation">
+ <enum>Qt::Horizontal</enum>
+ </property>
+ <property name="handleWidth">
+ <number>25</number>
+ </property>
+ <widget class="QGroupBox" name="groupBoxSkills">
+ <property name="title">
+ <string>Manager</string>
+ </property>
+ <layout class="QGridLayout" name="gridLayout">
+ <item row="3" column="0" colspan="3">
+ <widget class="QTreeWidget" name="treeWidgetSkills">
+ <column>
+ <property name="text">
+ <string>Skill</string>
+ </property>
+ </column>
+ <column>
+ <property name="text">
+ <string>HasType</string>
+ </property>
+ </column>
+ <column>
+ <property name="text">
+ <string>State</string>
+ </property>
+ </column>
+ </widget>
+ </item>
+ <item row="2" column="1">
+ <widget class="QDoubleSpinBox" name="doubleSpinBoxUpdateFreq"/>
+ </item>
+ <item row="2" column="0">
+ <widget class="QLabel" name="label">
<property name="text">
- <string>HasType</string>
+ <string>Update Frequency:</string>
</property>
- </column>
- <column>
+ </widget>
+ </item>
+ </layout>
+ </widget>
+ <widget class="QGroupBox" name="groupBoxSkillDetails">
+ <property name="title">
+ <string>Skill Details</string>
+ </property>
+ <layout class="QGridLayout" name="gridLayout_2">
+ <item row="1" column="0" colspan="4">
+ <widget class="QTreeWidget" name="treeWidgetSkillDetails">
+ <column>
+ <property name="text">
+ <string>Key</string>
+ </property>
+ </column>
+ <column>
+ <property name="text">
+ <string>Value</string>
+ </property>
+ </column>
+ <column>
+ <property name="text">
+ <string>Type</string>
+ </property>
+ </column>
+ <column>
+ <property name="text">
+ <string>defaultValue</string>
+ </property>
+ </column>
+ </widget>
+ </item>
+ <item row="6" column="3">
+ <widget class="QPushButton" name="pushButtonExecuteSkill">
<property name="text">
- <string>State</string>
+ <string>Request Execution</string>
</property>
- </column>
- </widget>
- </item>
- <item row="2" column="1">
- <widget class="QDoubleSpinBox" name="doubleSpinBoxUpdateFreq"/>
- </item>
- </layout>
- </widget>
- <widget class="QGroupBox" name="groupBoxSkillDetails">
- <property name="title">
- <string>Skill Details</string>
- </property>
- <layout class="QGridLayout" name="gridLayout_2">
- <item row="1" column="0" colspan="4">
- <widget class="QTreeWidget" name="treeWidgetSkillDetails">
- <column>
+ </widget>
+ </item>
+ <item row="0" column="0">
+ <widget class="QPushButton" name="pushButtonPaste">
<property name="text">
- <string>Key</string>
+ <string>Set from clipboard</string>
</property>
- </column>
- <column>
+ </widget>
+ </item>
+ <item row="6" column="0">
+ <widget class="QPushButton" name="pushButtonStopSkill">
<property name="text">
- <string>Value</string>
+ <string>Stop current skill</string>
</property>
- </column>
- <column>
+ </widget>
+ </item>
+ <item row="0" column="3">
+ <widget class="QPushButton" name="pushButtonReset">
<property name="text">
- <string>Type</string>
+ <string>Reset args</string>
</property>
- </column>
- <column>
+ </widget>
+ </item>
+ <item row="0" column="1">
+ <widget class="QPushButton" name="pushButtonCopy">
<property name="text">
- <string>defaultValue</string>
+ <string>Copy args to clipboard</string>
</property>
- </column>
- </widget>
- </item>
- <item row="6" column="3">
- <widget class="QPushButton" name="pushButtonExecuteSkill">
- <property name="text">
- <string>Request Execution</string>
- </property>
- </widget>
- </item>
- <item row="0" column="0">
- <widget class="QPushButton" name="pushButtonPaste">
- <property name="text">
- <string>Set from clipboard</string>
- </property>
- </widget>
- </item>
- <item row="6" column="0">
- <widget class="QPushButton" name="pushButtonStopSkill">
- <property name="text">
- <string>Stop current skill</string>
- </property>
- </widget>
- </item>
- <item row="0" column="3">
- <widget class="QPushButton" name="pushButtonReset">
- <property name="text">
- <string>Reset args</string>
- </property>
- </widget>
- </item>
- <item row="0" column="1">
- <widget class="QPushButton" name="pushButtonCopy">
- <property name="text">
- <string>Copy args to clipboard</string>
- </property>
- </widget>
- </item>
- </layout>
+ </widget>
+ </item>
+ </layout>
+ </widget>
</widget>
</widget>
</item>
--
GitLab