protected static const string IP_KEY = "host-ip";
protected static const string PORT_KEY = "port";
protected static const string XBOX_KEY = "enable-xbox";
+ protected static const string ENABLED_KEY = "enabled";
protected static const string TITLE_KEY = "title";
protected static const string UDN_KEY = "UDN";
0);
}
+ public bool get_enabled (string section) {
+ return this.get_bool (section, ENABLED_KEY, true);
+ }
+
public string get_title (string section) {
return this.get_string (section, TITLE_KEY, section);
}
string section) {
base (config_editor, section, section);
+ var enabled = config_editor.get_enabled (section);
var title = config_editor.get_title (section);
var udn = config_editor.get_udn (section);
+ this.add_boolean_pref (ConfigReader.ENABLED_KEY,
+ "Enabled",
+ enabled,
+ "Enable/Disable this plugin");
+
this.add_string_pref (ConfigReader.TITLE_KEY,
"Title",
title,