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

fix: add some minor improvements and fix release builds

Browse Source
This commit is contained in:
Alberto Ponces
2022-08-14 03:07:28 +01:00
parent 70a50c7177
commit 2cd9f99aa3
13 changed files with 169 additions and 146 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
lib/ui/views/installer/installer_view.dart
View File

@ -75,7 +75,10 @@ class InstallerView extends StatelessWidget {
child: SelectableText(
model.logs,
style: const TextStyle(
fontFamily: 'monospace', fontSize: 15),
fontFamily: 'monospace',
fontSize: 15,
height: 1.5,
),
),
),
const Spacer(),
@ -133,6 +136,7 @@ class InstallerView extends StatelessWidget {
),
onWillPop: () async {
if (!model.isPatching) {
model.cleanWorkplace();
Navigator.of(context).pop();
}
return false;