mirror of
https://github.com/revanced/revanced-patches.git
synced 2025-04-30 14:44:33 +02:00
fix: wrap theme option
This commit is contained in:
parent
8a76cafd37
commit
62c90f916b
@ -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…
x
Reference in New Issue
Block a user