Searched refs:ConfigSection (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()212 private const string ConfigSection = "plugins"; field in Antmicro.Renode.Plugins.PluginManager
