file rename (#9089)

Signed-off-by: 21pages <sunboeasy@gmail.com>
2025-12-13 19:47:17 +00:00 · 2024-08-16 12:55:58 +08:00
parent 579e0fac36
commit ed18e3c786
59 changed files with 507 additions and 50 deletions
--- a/flutter/lib/desktop/widgets/menu_button.dart
+++ b/flutter/lib/desktop/widgets/menu_button.dart
@@ -34,6 +34,7 @@ class _MenuButtonState extends State<MenuButton> {
    return Padding(
      padding: widget.padding,
      child: Tooltip(
+        waitDuration: Duration(milliseconds: 300),
        message: widget.tooltip,
        child: Material(
          type: MaterialType.transparency,