修复windows播放器元素溢出

This commit is contained in:
rang 2025-10-20 17:20:08 +08:00
parent 0b71777b41
commit 699b7de311
5 changed files with 55 additions and 57 deletions

View file

@ -23,6 +23,7 @@ final appLogger = Logger('vaani');
void main() async {
WidgetsFlutterBinding.ensureInitialized();
// Configure the root Logger
await initLogging();
@ -61,8 +62,7 @@ class MyApp extends ConsumerWidget {
ColorScheme lightColorScheme = brandLightColorScheme;
ColorScheme darkColorScheme = brandDarkColorScheme;
final shouldUseHighContrast =
themeSettings.highContrast || MediaQuery.of(context).highContrast;
final shouldUseHighContrast = themeSettings.highContrast || MediaQuery.of(context).highContrast;
if (shouldUseHighContrast) {
lightColorScheme = lightColorScheme.copyWith(
@ -74,8 +74,7 @@ class MyApp extends ConsumerWidget {
}
if (themeSettings.useMaterialThemeFromSystem) {
var themes =
ref.watch(systemThemeProvider(highContrast: shouldUseHighContrast));
var themes = ref.watch(systemThemeProvider(highContrast: shouldUseHighContrast));
if (themes.valueOrNull != null) {
lightColorScheme = themes.valueOrNull!.$1;
darkColorScheme = themes.valueOrNull!.$2;