Removed the mandatory requirement to enter the '!' after the discord prefix

This commit is contained in:
Brett Hewitson 2021-12-16 15:57:38 +10:00
parent 327103182c
commit d51c0a95de
14 changed files with 62 additions and 18 deletions

View file

@ -3000,5 +3000,17 @@ namespace ServerManagerTool {
this["DiscordBotWhitelist"] = value;
}
}
[global::System.Configuration.UserScopedSettingAttribute()]
[global::System.Diagnostics.DebuggerNonUserCodeAttribute()]
[global::System.Configuration.DefaultSettingValueAttribute("False")]
public bool DiscordBotPrefixFixed {
get {
return ((bool)(this["DiscordBotPrefixFixed"]));
}
set {
this["DiscordBotPrefixFixed"] = value;
}
}
}
}