mirror of
https://github.com/revanced/revanced-patches
synced 2025-01-07 11:55:50 +01:00
fix: wrap theme option
This commit is contained in:
parent
a2f104c24a
commit
150c173adc
@ -35,13 +35,15 @@ class ThemePatch : ResourcePatch() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
companion object : OptionsContainer() {
|
companion object : OptionsContainer() {
|
||||||
var theme: String by PatchOption.StringListOption(
|
var theme: String by option(
|
||||||
key = "theme",
|
PatchOption.StringListOption(
|
||||||
default = null,
|
key = "theme",
|
||||||
options = Themes.names,
|
default = null,
|
||||||
title = "Theme",
|
options = Themes.names,
|
||||||
description = "Select a theme.",
|
title = "Theme",
|
||||||
required = true
|
description = "Select a theme.",
|
||||||
|
required = true
|
||||||
|
)
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user