From 6d19d5e7f8ef6f2889e7cd65a30ac6e811604cac Mon Sep 17 00:00:00 2001 From: Rainer Kartmann <rainer.kartmann@kit.edu> Date: Fri, 26 Nov 2021 15:40:34 +0100 Subject: [PATCH] Clean up gui plugins page --- etc/doxygen/pages/GuiPlugins.dox | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/etc/doxygen/pages/GuiPlugins.dox b/etc/doxygen/pages/GuiPlugins.dox index 8d63e0b0..b638acb2 100644 --- a/etc/doxygen/pages/GuiPlugins.dox +++ b/etc/doxygen/pages/GuiPlugins.dox @@ -2,8 +2,7 @@ \page ArmarXGui-GuiPlugins ArmarXGui GuiPlugins -On these pages you find a list of widgets, or to be more specific, widget controllers, that are provided by GUI-plugins from -different ArmarX projects. +On these pages you find a list of gui plugins from ArmarXGui. A GUI-plugin allows loading widgets that can be added to the ArmarXGui at runtime. \subpage ArmarXGui-GuiPlugins-ScenarioManagerGuiPlugin "ScenarioManager" @@ -40,4 +39,8 @@ A GUI-plugin allows loading widgets that can be added to the ArmarXGui at runtim \subpage ArmarXGui-GuiPlugins-RemoteGui +\subpage ArmarXGui-GuiPlugins-WriteToDebugObserverGuiPlugin + +\subpage ArmarXGui-GuiPlugins-DebugPlotterWidget + */ -- GitLab