Searched refs:ConfigOption (Results 1 – 1 of 1) sorted by relevance
85 … var enabledPlugins = ConfigurationManager.Instance.Get(ConfigSection, ConfigOption, string.Empty); in Init()203 …ConfigurationManager.Instance.Set(ConfigSection, ConfigOption, activePlugins.Any() ? activePlugins… in SaveConfiguration()211 private const string ConfigOption = "enabled-plugins"; field in Antmicro.Renode.Plugins.PluginManager
