@@ -293,8 +293,11 @@ object Settings:
293293 def BooleanSetting (name : String , descr : String , initialValue : Boolean = false , aliases : List [String ] = Nil ): Setting [Boolean ] =
294294 publish(Setting (name, descr, initialValue, aliases = aliases))
295295
296- def StringSetting (name : String , helpArg : String , descr : String , default : String , aliases : List [String ] = Nil , deprecation : Option [Deprecation ] = None , depends : SettingDependencies = Nil ): Setting [String ] =
297- publish(Setting (descr, default, helpArg, aliases = aliases, deprecation = deprecation, depends = depends))
296+ def StringSetting (name : String , helpArg : String , descr : String , default : String , aliases : List [String ] = Nil , depends : SettingDependencies = Nil ): Setting [String ] =
297+ publish(Setting (name, descr, default, helpArg, aliases = aliases, depends = depends))
298+
299+ def ChoiceSetting (name : String , helpArg : String , descr : String , choices : List [String ], default : String , aliases : List [String ] = Nil ): Setting [String ] =
300+ publish(Setting (name, descr, default, helpArg, Some (choices), aliases = aliases))
298301
299302 def MultiChoiceSetting (name : String , helpArg : String , descr : String , choices : List [String ], default : List [String ], aliases : List [String ] = Nil ): Setting [List [String ]] =
300303 publish(Setting (name, descr, default, helpArg, Some (choices), aliases = aliases))
@@ -320,8 +323,8 @@ object Settings:
320323 def PathSetting (name : String , descr : String , default : String , aliases : List [String ] = Nil ): Setting [String ] =
321324 publish(Setting (name, descr, default, aliases = aliases))
322325
323- def PhasesSetting (name : String , descr : String , default : String = " " , aliases : List [String ] = Nil , deprecation : Option [ Deprecation ] = None , depends : SettingDependencies = Nil ): Setting [List [String ]] =
324- publish(Setting (descr, if (default.isEmpty) Nil else List (default), aliases = aliases, deprecation = deprecation , depends = depends))
326+ def PhasesSetting (name : String , descr : String , default : String = " " , aliases : List [String ] = Nil , depends : SettingDependencies = Nil ): Setting [List [String ]] =
327+ publish(Setting (name, descr, if (default.isEmpty) Nil else List (default), aliases = aliases, depends = depends))
325328
326329 def PrefixSetting (name : String , pre : String , descr : String ): Setting [List [String ]] =
327330 publish(Setting (name, descr, Nil , prefix = pre))
0 commit comments