mirror of
https://github.com/revanced/revanced-manager.git
synced 2025-05-02 14:54:25 +02:00
Compare commits
2 Commits
main
...
v1.24.1-de
Author | SHA1 | Date | |
---|---|---|---|
![]() |
783f313ed8 | ||
![]() |
05575cccfb |
@ -85,7 +85,7 @@ class _IntAndStringPatchOptionState extends State<IntAndStringPatchOption> {
|
||||
crossAxisAlignment: CrossAxisAlignment.start,
|
||||
children: [
|
||||
TextFieldForPatchOption(
|
||||
value: value,
|
||||
value: value.toString(),
|
||||
patchOption: widget.patchOption,
|
||||
selectedKey: getKey(),
|
||||
onChanged: (value) {
|
||||
|
@ -4,7 +4,7 @@ homepage: https://revanced.app
|
||||
|
||||
publish_to: 'none'
|
||||
|
||||
version: 1.24.0+101800055
|
||||
version: 1.24.1-dev.1+101800056
|
||||
|
||||
environment:
|
||||
sdk: '>=3.7.0'
|
||||
|
Loading…
x
Reference in New Issue
Block a user