From eb39cc5da189e3c67c5b270dc38f1c18c9248ce4 Mon Sep 17 00:00:00 2001
From: NicKoehler <grillinicola@proton.me>
Date: Sat, 25 Feb 2023 10:08:34 +0100
Subject: [PATCH] fix button flicker

---
 flutter/lib/desktop/pages/file_manager_page.dart | 2 +-
 flutter/lib/desktop/widgets/menu_button.dart     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/flutter/lib/desktop/pages/file_manager_page.dart b/flutter/lib/desktop/pages/file_manager_page.dart
index 96ab4044f..5df9c9a80 100644
--- a/flutter/lib/desktop/pages/file_manager_page.dart
+++ b/flutter/lib/desktop/pages/file_manager_page.dart
@@ -678,7 +678,7 @@ class _FileManagerPageState extends State<FileManagerPage>
                                   model.cancelJob(item.id);
                                 },
                                 color: MyTheme.accent,
-                                hoverColor: MyTheme.accent80,
+                                hoverColor: MyTheme.button,
                               ),
                             ],
                           ),
diff --git a/flutter/lib/desktop/widgets/menu_button.dart b/flutter/lib/desktop/widgets/menu_button.dart
index df2c48ab4..17b160fed 100644
--- a/flutter/lib/desktop/widgets/menu_button.dart
+++ b/flutter/lib/desktop/widgets/menu_button.dart
@@ -37,7 +37,7 @@ class _MenuButtonState extends State<MenuButton> {
         message: widget.tooltip,
         child: Material(
           type: MaterialType.transparency,
-          child: Ink(
+          child: Container(
             decoration: BoxDecoration(
               borderRadius: BorderRadius.circular(_borderRadius),
               color: _isHover ? widget.hoverColor : widget.color,