organ
/
Sanmill
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

flutter: windows: Do not show play sounds settings

This commit is contained in:
Calcitem 2021-05-09 23:01:29 +08:00
parent 12cb05c21a
commit 1a253b89aa
1 changed files with 9 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/ui/flutter_app/lib/widgets/game_settings_page.dart
View File

@ -17,6 +17,7 @@
*/
import 'dart:async';
import 'dart:io';
import 'package:flutter/material.dart';
import 'package:flutter/services.dart';
@ -251,9 +252,13 @@ class _GameSettingsPageState extends State<GameSettingsPage> {
),
],
),
SizedBox(height: AppTheme.sizedBoxHeight),
Text(S.of(context).playSounds, style: AppTheme.settingsHeaderStyle),
SettingsCard(
!Platform.isWindows
? SizedBox(height: AppTheme.sizedBoxHeight)
: Container(height: 0.0, width: 0.0),
!Platform.isWindows
? Text(S.of(context).playSounds, style: AppTheme.settingsHeaderStyle)
: Container(height: 0.0, width: 0.0),
!Platform.isWindows? SettingsCard(
context: context,
children: <Widget>[
SettingsSwitchListTile(
@ -263,7 +268,7 @@ class _GameSettingsPageState extends State<GameSettingsPage> {
titleString: S.of(context).playSoundsInTheGame,
),
],
),
): Container(height: 0.0, width: 0.0),
SizedBox(height: AppTheme.sizedBoxHeight),
Text(S.of(context).whoMovesFirst, style: AppTheme.settingsHeaderStyle),
SettingsCard(