From b9dbd01cf6d9eb0aba83dff9797cd998fcf3ed5d Mon Sep 17 00:00:00 2001 From: Joseph Mirabel <jmirabel@laas.fr> Date: Fri, 20 May 2016 15:27:25 +0200 Subject: [PATCH] Rename doc of example plugin. --- pyplugins/gepetto/gui/plugin.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pyplugins/gepetto/gui/plugin.py b/pyplugins/gepetto/gui/plugin.py index c49f042..a6c362d 100644 --- a/pyplugins/gepetto/gui/plugin.py +++ b/pyplugins/gepetto/gui/plugin.py @@ -58,7 +58,7 @@ class _NodeCreator (QtGui.QWidget): self.client.gui.addToGroup(str(self.nodeName.text), str(self.groupNodes.currentText)) class Plugin(QtGui.QDockWidget): - """" Extra functionalities of the Gepetto Viewer GUI """ + """ Example of plugin of the Gepetto Viewer GUI """ def __init__ (self, mainWindow, flags = None): if flags is None: super(Plugin, self).__init__ ("Gepetto Viewer plugin", mainWindow) -- GitLab