def registerOptionFromPlugin(self, 
                                 category_name, plugin_name, 
                                 option_name, option_value):
        """
        To be called from a plugin object, register a given option in
        the name of a given plugin.
        """
        section_name = "%s Plugin: %s" % (category_name,plugin_name)
        # if the plugin's section is not here yet, create it
        if not self.config_parser.has_section(section_name):
            self.config_parser.add_section(section_name)
        # set the required option
        self.config_parser.set(section_name,option_name,option_value)
        self.config_has_changed()
dataset/ETHPy150Open datamachine/telex/telex/plugin/ConfigurablePluginManager.py/ConfigurablePluginManager.registerOptionFromPlugin/original