From 73055291dc0f5a90da8c2f2697402ac5c94c2fb5 Mon Sep 17 00:00:00 2001 From: Calcitem Date: Mon, 12 Apr 2021 00:31:11 +0800 Subject: [PATCH] flutter: Change default boardTop from 28 to 36 --- src/ui/flutter_app/lib/common/config.dart | 4 ++-- .../lib/widgets/personalization_settings_page.dart | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/ui/flutter_app/lib/common/config.dart b/src/ui/flutter_app/lib/common/config.dart index 07a59866..02187dbc 100644 --- a/src/ui/flutter_app/lib/common/config.dart +++ b/src/ui/flutter_app/lib/common/config.dart @@ -43,7 +43,7 @@ class Config { static bool isPieceCountInHandShown = false; static double boardBorderLineWidth = 2.0; static double boardInnerLineWidth = 2.0; - static double boardTop = 28.0; + static double boardTop = 36.0; // Color static int boardLineColor = AppTheme.boardLineColor.value; @@ -91,7 +91,7 @@ class Config { settings['IsPieceCountInHandShown'] ?? false; Config.boardBorderLineWidth = settings['BoardBorderLineWidth'] ?? 2; Config.boardInnerLineWidth = settings['BoardInnerLineWidth'] ?? 2; - Config.boardTop = settings['BoardTop'] ?? 28; + Config.boardTop = settings['BoardTop'] ?? 36; // Color Config.boardLineColor = diff --git a/src/ui/flutter_app/lib/widgets/personalization_settings_page.dart b/src/ui/flutter_app/lib/widgets/personalization_settings_page.dart index c3b6a0c3..15268bb4 100644 --- a/src/ui/flutter_app/lib/widgets/personalization_settings_page.dart +++ b/src/ui/flutter_app/lib/widgets/personalization_settings_page.dart @@ -176,7 +176,7 @@ class _PersonalizationSettingsPageState value: Config.boardTop.toDouble(), min: 0.0, max: 288.0, - divisions: 10, + divisions: 288, label: Config.boardTop.toStringAsFixed(1), onChanged: (value) { setState(() {