class MoveitPlugin(Plugin):
def __init__(self, plugin_context):
super(MoveitPlugin, self).__init__(plugin_context)
self._plugin_context = plugin_context
self._moveit_widget = MoveitWidget(self, plugin_context)
self.mainwidget = PluginContainerWidget(self._moveit_widget,
True, False)
if self._plugin_context.serial_number() > 1:
self.mainwidget.setWindowTitle(self.mainwidget.windowTitle() +
(' (%d)' % plugin_context.serial_number()))
plugin_context.add_widget(self.mainwidget)
def get_widget(self):
return self.mainwidget
def shutdown_plugin(self):
self.mainwidget.shutdown()
def save_settings(self, plugin_settings, instance_settings):
self.mainwidget.save_settings(plugin_settings, instance_settings)
def restore_settings(self, plugin_settings, instance_settings):
self.mainwidget.restore_settings(plugin_settings, instance_settings)
def _update_msg(self):
"""
Update necessary components (per topic) regularly
"""
self._moveit_widget.update_topic_table()
class MoveitPlugin(Plugin):
def __init__(self, plugin_context):
super(MoveitPlugin, self).__init__(plugin_context)
self._plugin_context = plugin_context
self._moveit_widget = MoveitWidget(self, plugin_context)
self.mainwidget = PluginContainerWidget(self._moveit_widget,
True, False)
if self._plugin_context.serial_number() > 1:
self.mainwidget.setWindowTitle(self.mainwidget.windowTitle() +
(' (%d)' % plugin_context.serial_number()))
plugin_context.add_widget(self.mainwidget)
def get_widget(self):
return self.mainwidget
def shutdown_plugin(self):
self.mainwidget.shutdown()
def save_settings(self, plugin_settings, instance_settings):
self.mainwidget.save_settings(plugin_settings, instance_settings)
def restore_settings(self, plugin_settings, instance_settings):
self.mainwidget.restore_settings(plugin_settings, instance_settings)
def _update_msg(self):
"""
Update necessary components (per topic) regularly
"""
self._moveit_widget.update_topic_table()
def __init__(self, plugin_context):
super(MoveitPlugin, self).__init__(plugin_context)
self._plugin_context = plugin_context
self._moveit_widget = MoveitWidget(self, plugin_context)
self.mainwidget = PluginContainerWidget(self._moveit_widget,
True, False)
if self._plugin_context.serial_number() > 1:
self.mainwidget.setWindowTitle(self.mainwidget.windowTitle() +
(' (%d)' % plugin_context.serial_number()))
plugin_context.add_widget(self.mainwidget)
def __init__(self, plugin_context):
super(MoveitPlugin, self).__init__(plugin_context)
self._plugin_context = plugin_context
self._moveit_widget = MoveitWidget(self, plugin_context)
self.mainwidget = PluginContainerWidget(self._moveit_widget,
True, False)
if self._plugin_context.serial_number() > 1:
self.mainwidget.setWindowTitle(self.mainwidget.windowTitle() +
(' (%d)' % plugin_context.serial_number()))
plugin_context.add_widget(self.mainwidget)
