@@ -293,8 +293,11 @@ object Settings:
293
293
def BooleanSetting (name : String , descr : String , initialValue : Boolean = false , aliases : List [String ] = Nil ): Setting [Boolean ] =
294
294
publish(Setting (name, descr, initialValue, aliases = aliases))
295
295
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))
298
301
299
302
def MultiChoiceSetting (name : String , helpArg : String , descr : String , choices : List [String ], default : List [String ], aliases : List [String ] = Nil ): Setting [List [String ]] =
300
303
publish(Setting (name, descr, default, helpArg, Some (choices), aliases = aliases))
@@ -320,8 +323,8 @@ object Settings:
320
323
def PathSetting (name : String , descr : String , default : String , aliases : List [String ] = Nil ): Setting [String ] =
321
324
publish(Setting (name, descr, default, aliases = aliases))
322
325
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))
325
328
326
329
def PrefixSetting (name : String , pre : String , descr : String ): Setting [List [String ]] =
327
330
publish(Setting (name, descr, Nil , prefix = pre))
0 commit comments