ReVanced/revanced-manager
1
0
Fork 0
mirror of https://github.com/revanced/revanced-manager.git synced 2025-06-12 04:37:37 +02:00
Code Issues Packages Projects Releases Wiki Activity

feat: resetting source to default dismiss the sources pop-up (#797)

Browse Source 
* feat: resetting source to default dismiss the sources pop-up

* chore: format using `dart format`
This commit is contained in:
EvadeMaster
2023-04-21 01:59:37 +07:00
committed by GitHub
parent d6918920b6
commit 62ef1c88fe
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
lib/ui/views/settings/settingsFragment/settings_manage_sources.dart
View File

@ -155,7 +155,9 @@ class SManageSources extends BaseViewModel {
_managerAPI.setPatchesRepo('');
_managerAPI.setIntegrationsRepo('');
_toast.showBottom('settingsView.restartAppForChanges');
Navigator.of(context).pop();
Navigator.of(context)
..pop()
..pop();
},
)
],