11f4afef75
flutter: Disallow disable developer mode if developer mode is enabled
2021-04-10 15:31:47 +08:00
1339324368
flutter: android: monkey: Change throttle from 100 to 500
2021-04-10 15:29:31 +08:00
6e1d7f8319
flutter: android: Add armeabi-v7a to native-backtrace.sh
2021-04-10 11:58:12 +08:00
82e406308f
flutter: Do not show Game Result Dialog if isAutoRestart enabled
2021-04-10 11:49:51 +08:00
7258de5cf6
flutter: game-settings: Move isAutoRestart from automaticBehavior card to forDevelopers
2021-04-10 11:40:48 +08:00
921b3bbbc2
flutter: Fix spelling error
2021-04-10 11:40:48 +08:00
fca9c8822b
flutter: Refactor getGameOverReasonString
2021-04-10 11:34:28 +08:00
776992435a
tests: Add stop-monkey.sh
2021-04-10 11:08:13 +08:00
01f7ebe672
depth: Limit depth to 9 if change side when no way
2021-04-10 09:47:34 +08:00
a0cee1bd06
flutter: Assert(0) when timeout only on DeveloperMode
2021-04-10 09:41:00 +08:00
115a7c7897
flutter: engine: Print search depth
2021-04-10 09:38:57 +08:00
c213cb8957
flutter: changeStatus: Return if unmounted
...
To fix:
Exception has occurred.
FlutterError (This widget has been unmounted, so the State no longer has a context (and should be considered defunct).
Consider canceling any active work during "dispose" or using the "mounted" getter to determine if the State is still active.)
case 'timeout':
changeStatus(S.of(context).timeout);
2021-04-09 01:21:46 +08:00
080b7da46d
flutter: Add code for developer mode
2021-04-09 01:20:35 +08:00
e2c443830a
Add developer mode for future use (Example)
2021-04-08 01:16:52 +08:00
1fb4e4f790
depth: Fix timeout when 12 men and no banned and no diagonal lines (WAR)
2021-04-07 23:47:19 +08:00
2b0d29606d
flutter: game_page.dart: Quit engineToGo() if not mounted
...
Maybe can fix:
Exception has occurred.
FlutterError (This widget has been unmounted, so the State no longer has a context (and should be considered defunct).
Consider canceling any active work during "dispose" or using the "mounted" getter to determine if the State is still active.)
2021-04-07 23:37:19 +08:00
380af44ddb
flutter: catcher: Changed package_info to package_info_plus to support all platforms
2021-04-06 00:39:21 +08:00
917f5d182e
flutter: Move gamePageTopMargin to AppTheme
2021-04-06 00:22:52 +08:00
d8ef72fe39
flutter: Refactor rule_settings_page.dart
2021-04-06 00:16:08 +08:00
e8e736e4a9
flutter: android: Replace splash from burly_wood to aths_special and add icon
...
And add normal_background.xml
2021-04-05 23:56:24 +08:00
8b808f42da
.gitignore: Ignore sanmill
2021-04-05 12:31:43 +08:00
b2e482c70d
flutter: Fix customized theme not show before tapping on board
2021-04-05 12:18:40 +08:00
8c398a0700
flutter: Fix playing crash if settings is not loaded done when setOptions
2021-04-05 12:18:27 +08:00
38ef069d5e
flutter: Rename loadProfile to loadSettings
...
And print info when loading settings.
2021-04-05 01:12:02 +08:00
c70fb83132
flutter: board_painter: Fix draw overwrite only half of line
2021-04-05 00:40:21 +08:00
c900256aa5
flutter: board: drawRect instead of drawLine
2021-04-05 00:32:28 +08:00
93b243488b
flutter: Remove tailing space of pubspec.yaml
2021-04-04 23:46:16 +08:00
107eeeb019
flutter: widgets: Add copyright to two file's header
2021-04-04 23:40:36 +08:00
a506ecb0fa
flutter: Refactor navigation_home_screen.dart
2021-04-04 23:25:34 +08:00
c680f9899f
flutter: drawer: Remove arrow icon top and left padding
2021-04-04 23:18:38 +08:00
1e793a6719
flutter: Refactor drawer_user_controller.dart
2021-04-04 22:12:30 +08:00
87eaa98080
flutter: Refactor home_drawer.dart
2021-04-04 21:51:52 +08:00
e8a62bfbc6
flutter: app_theme.dart: Remove some styles
2021-04-04 18:19:34 +08:00
46ddc5aecd
flutter: UIColor: Add cottonCandy/turkishRose/stormGrey/LavenderBlush
2021-04-04 03:16:11 +08:00
a286447752
flutter: drawer: Change highlight item color from blue to green
2021-04-04 02:58:37 +08:00
dc41860063
flutter: Refactor color
2021-04-04 02:11:42 +08:00
f82b18d975
flutter: Remove appBar backgroundColor and use MaterialApp primarySwatch instead
2021-04-03 21:29:42 +08:00
49a7e1df8f
flutter: android: Replace splash screen color to burly_wood
2021-04-03 21:08:49 +08:00
a0884c80ca
flutter: Add personalization settings page
2021-04-03 13:04:04 +08:00
35d79c541c
flutter: Refactor
2021-04-03 11:43:02 +08:00
a739ada7b4
flutter: Upgrade uuid to 3.0.3
2021-04-02 01:46:02 +08:00
232b85f290
flutter: Refactor some pages
2021-04-02 01:40:08 +08:00
718c2e7be0
flutter: Fix https://github.com/fluttercommunity/plus_plugins/issues/184 : Null values on Android
2021-03-30 01:38:21 +08:00
f2e8e56e80
flutter: Refactor
2021-03-30 01:25:08 +08:00
9f1bdeb71a
flutter: game_settings_page.dart: Add showColorDialog()
2021-03-29 23:44:17 +08:00
dd08716eab
flutter: about_page.dart: Clean code
2021-03-29 22:43:42 +08:00
e37d3fcb88
flutter: Rename widgets to children
2021-03-29 22:43:30 +08:00
6a8644133c
Revert "flutter: Remove unused functions"
...
Restore
didPush
didPopNext
didPushNext
didPop
didChangeDependencies
buildManualPanel
to fix setoption not called.
This commit reverts 5884fa4c5f
2021-03-29 02:16:45 +08:00
b4974d8e20
flutter: Refactor about_page.dart
2021-03-29 00:46:18 +08:00
329b4792d1
flutter: Add some commas
2021-03-29 00:25:20 +08:00
Calcitem