41 Plugin to interface with webtools via ros_gui 46 :param context: plugin context hook to enable adding widgets as a ROS_GUI pane, ''PluginContext'' 49 self.setObjectName(
'Web')
53 if context.serial_number() > 1:
54 self._web.setWindowTitle(self._web.windowTitle() + (
' (%d)' % context.serial_number()))
55 context.add_widget(self.
_web)
70 self._web.save_settings(instance_settings)
74 self._web.restore_settings(instance_settings)
def restore_settings(self, plugin_settings, instance_settings)
def save_settings(self, plugin_settings, instance_settings)
def __init__(self, context)
def shutdown_plugin(self)