From b0b6d08670139d201b53eeaa5629286f936e4853 Mon Sep 17 00:00:00 2001
From: vjrj <vjrj@comunes.org>
Date: Sat, 16 Dec 2023 10:07:01 +0100
Subject: [PATCH] Floating mini

---
 lib/ui/widgets/first_screen/contact_search_page.dart | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lib/ui/widgets/first_screen/contact_search_page.dart b/lib/ui/widgets/first_screen/contact_search_page.dart
index 65c407a0..bfa41dcb 100644
--- a/lib/ui/widgets/first_screen/contact_search_page.dart
+++ b/lib/ui/widgets/first_screen/contact_search_page.dart
@@ -313,11 +313,13 @@ class _ContactSearchPageState extends State<ContactSearchPage> {
       mainAxisAlignment: MainAxisAlignment.end,
       children: <Widget>[
         FloatingActionButton(
+          mini: true,
           onPressed: _selectAll,
           child: const Icon(Icons.checklist_rtl),
         ),
         const SizedBox(height: 10),
         FloatingActionButton(
+          mini: true,
           onPressed: _clearSelection,
           child: const Icon(Icons.delete),
         ),
@@ -327,6 +329,7 @@ class _ContactSearchPageState extends State<ContactSearchPage> {
             alignment: Alignment.center,
             children: <Widget>[
               FloatingActionButton(
+                mini: true,
                 onPressed: _finishSelection,
                 child: const Icon(Icons.done),
               ),
-- 
GitLab