From f45bb13d24dd2a65938178cdc354f1bdc1740fd4 Mon Sep 17 00:00:00 2001 From: csf Date: Tue, 27 Sep 2022 23:08:01 +0800 Subject: [PATCH] adjust kWindowEdgeSize --- flutter/lib/consts.dart | 4 ++-- flutter/lib/desktop/widgets/scroll_wrapper.dart | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/flutter/lib/consts.dart b/flutter/lib/consts.dart index 2ee6c49f4..b9086bde9 100644 --- a/flutter/lib/consts.dart +++ b/flutter/lib/consts.dart @@ -24,9 +24,9 @@ const Size kConnectionManagerWindowSize = Size(300, 400); /// [kDefaultScrollAmountMultiplier] indicates how many rows can be scrolled after a minimum scroll action of mouse const kDefaultScrollAmountMultiplier = 5.0; const kDefaultScrollDuration = Duration(milliseconds: 50); -const kDefaultMouseWhellThrottleDuration = Duration(milliseconds: 50); +const kDefaultMouseWheelThrottleDuration = Duration(milliseconds: 50); const kFullScreenEdgeSize = 0.0; -const kWindowEdgeSize = 1.0; +const kWindowEdgeSize = 5.0; const kInvalidValueStr = "InvalidValueStr"; diff --git a/flutter/lib/desktop/widgets/scroll_wrapper.dart b/flutter/lib/desktop/widgets/scroll_wrapper.dart index aaa3aa403..32ed149e5 100644 --- a/flutter/lib/desktop/widgets/scroll_wrapper.dart +++ b/flutter/lib/desktop/widgets/scroll_wrapper.dart @@ -18,7 +18,7 @@ class DesktopScrollWrapper extends StatelessWidget { scrollDuration: kDefaultScrollDuration, scrollCurve: Curves.linearToEaseOut, mouseWheelTurnsThrottleTimeMs: - kDefaultMouseWhellThrottleDuration.inMilliseconds, + kDefaultMouseWheelThrottleDuration.inMilliseconds, scrollAmountMultiplier: kDefaultScrollAmountMultiplier), child: child, );