flutter: Rename DrawerIndex.settings to DrawerIndex.perferences

src/ui/flutter_app/lib/l10n/intl_zh.arb

@@ -70,7 +70,7 @@
   "thanks": "致谢",
   "thankWho": "参考借鉴的主要开源库如下，同时也感谢其他默默无闻为开源事业做出贡献的人们：",
   "settings": "设置",
-  "Options": "选项",
+  "options": "选项",
   "perferences": "游戏设置",
   "difficulty": "游戏难度",
   "skillLevel": "难度等级",

src/ui/flutter_app/lib/widgets/game_page.dart

@@ -33,6 +33,7 @@ import 'package:sanmill/style/app_theme.dart';
 import 'package:stack_trace/stack_trace.dart';
 
 import 'board.dart';
+import 'game_settings_page.dart';
 
 class GamePage extends StatefulWidget {
   static double boardMargin = AppTheme.boardMargin;
@@ -663,10 +664,10 @@ class _GamePageState extends State<GamePage> with RouteAware {
         ],
       ),
       onPressed: () {
-        // TODO: Options
+        Navigator.push(
-        if (Config.developerMode) return;
+          context,
-        Game.instance.regret(steps: 2);
+          MaterialPageRoute(builder: (context) => GameSettingsPage()),
-        setState(() {});
+        );
       },
     );
 

src/ui/flutter_app/lib/widgets/home_drawer.dart

@@ -29,7 +29,7 @@ enum DrawerIndex {
   humanVsAi,
   humanVsHuman,
   aiVsAi,
-  settings,
+  perferences,
   ruleSettings,
   personalization,
   Help,
@@ -85,7 +85,7 @@ class _HomeDrawerState extends State<HomeDrawer> {
         icon: Icon(Icons.computer),
       ),
       DrawerListItem(
-        index: DrawerIndex.settings,
+        index: DrawerIndex.perferences,
         title: S.of(context).perferences,
         icon: Icon(Icons.settings),
       ),

src/ui/flutter_app/lib/widgets/navigation_home_screen.dart

@@ -17,20 +17,20 @@
 */
 
 import 'package:flutter/material.dart';
+import 'package:sanmill/common/config.dart';
 import 'package:sanmill/engine/engine.dart';
 import 'package:sanmill/mill/game.dart';
-import 'package:sanmill/common/config.dart';
 import 'package:sanmill/style/app_theme.dart';
+import 'package:sanmill/style/colors.dart';
 import 'package:sanmill/widgets/about_page.dart';
 import 'package:sanmill/widgets/drawer_user_controller.dart';
 import 'package:sanmill/widgets/help_screen.dart';
 import 'package:sanmill/widgets/home_drawer.dart';
-import 'package:sanmill/style/colors.dart';
 
 import 'game_page.dart';
 import 'game_settings_page.dart';
-import 'rule_settings_page.dart';
 import 'personalization_settings_page.dart';
+import 'rule_settings_page.dart';
 
 class NavigationHomeScreen extends StatefulWidget {
   @override
@@ -93,7 +93,7 @@ class _NavigationHomeScreenState extends State<NavigationHomeScreen> {
         Game.instance.setWhoIsAi(engineType);
         screenView = GamePage(engineType);
       });
-    } else if (drawerIndex == DrawerIndex.settings) {
+    } else if (drawerIndex == DrawerIndex.perferences) {
       setState(() {
         screenView = GameSettingsPage();
       });