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)
def restore_settings(self, plugin_settings, instance_settings)
def save_settings(self, plugin_settings, instance_settings)
def __init__(self, context)
def shutdown_plugin(self)