From 16ad498ef3baf5681bddde87fcbdee9c88510a7d Mon Sep 17 00:00:00 2001 From: grummbeer Date: Tue, 6 Jun 2023 14:53:05 +0200 Subject: [PATCH] Remove splash for Desktop --- flutter/lib/common.dart | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/flutter/lib/common.dart b/flutter/lib/common.dart index 3b4b38c60..1ccf2d7b5 100644 --- a/flutter/lib/common.dart +++ b/flutter/lib/common.dart @@ -183,7 +183,13 @@ class MyTheme { ), ); - static const SwitchThemeData switchTheme = SwitchThemeData(splashRadius: 0); + static SwitchThemeData switchTheme() { + return SwitchThemeData(splashRadius: isDesktop ? 0 : kRadialReactionRadius); + } + + static RadioThemeData radioTheme() { + return RadioThemeData(splashRadius: isDesktop ? 0 : kRadialReactionRadius); + } // Checkbox static const CheckboxThemeData checkboxTheme = CheckboxThemeData( @@ -309,7 +315,8 @@ class MyTheme { ), ), ), - switchTheme: switchTheme, + switchTheme: switchTheme(), + radioTheme: radioTheme(), checkboxTheme: checkboxTheme, listTileTheme: listTileTheme, menuBarTheme: MenuBarThemeData( @@ -404,7 +411,8 @@ class MyTheme { ), ), ), - switchTheme: switchTheme, + switchTheme: switchTheme(), + radioTheme: radioTheme(), checkboxTheme: checkboxTheme, listTileTheme: listTileTheme, menuBarTheme: MenuBarThemeData(