mirrors/revanced-manager
1
0
Fork 0
mirror of https://github.com/ReVanced/revanced-manager.git synced 2025-05-11 13:05:37 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

refactor: migrate MediaQuery properties to InheritedModel (#1115)

Browse source 
Co-authored-by: Ushie <ushiekane@gmail.com>
This commit is contained in:
Dhruvan Bhalara 2023-08-10 17:55:07 +05:30 • committed by GitHub
parent f5e45ead26
commit 97e37f304b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 9 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

5
lib/ui/widgets/patchesSelectorView/patch_options_fields.dart
View file

@ -8,8 +8,9 @@ class OptionsTextField extends StatelessWidget {
@override
Widget build(BuildContext context) {
final sHeight = MediaQuery.of(context).size.height;
final sWidth = MediaQuery.of(context).size.width;
final size = MediaQuery.sizeOf(context);
final sHeight = size.height;
final sWidth = size.width;
return Container(
margin: const EdgeInsets.only(top: 12, bottom: 6),
padding: EdgeInsets.zero,