From c1e2a796af498233b8a09d19c6939be76dd5ac2d Mon Sep 17 00:00:00 2001
From: Juan Gilsanz Polo <juangilsanz@gmail.com>
Date: Mon, 11 Dec 2023 13:33:01 +0100
Subject: [PATCH] Add refresh button desktop

---
 lib/screens/home/appbar.dart | 14 ++++++++++++--
 1 file changed, 12 insertions(+), 2 deletions(-)

diff --git a/lib/screens/home/appbar.dart b/lib/screens/home/appbar.dart
index 365e606..52ff350 100644
--- a/lib/screens/home/appbar.dart
+++ b/lib/screens/home/appbar.dart
@@ -1,3 +1,5 @@
+import 'dart:io';
+
 import 'package:flutter/material.dart';
 import 'package:provider/provider.dart';
 import 'package:flutter_gen/gen_l10n/app_localizations.dart';
@@ -16,9 +18,9 @@ class HomeAppBar extends StatelessWidget {
   final bool innerBoxScrolled;
 
   const HomeAppBar({
-    Key? key,
+    super.key,
     required this.innerBoxScrolled
-  }) : super(key: key);
+  });
 
   @override
   Widget build(BuildContext context) {
@@ -118,6 +120,14 @@ class HomeAppBar extends StatelessWidget {
         ],
       ),
       actions: [
+        if (!(Platform.isAndroid || Platform.isIOS)) ...[
+          IconButton(
+            onPressed: () => statusProvider.getServerStatus(), 
+            icon: const Icon(Icons.refresh_rounded),
+            tooltip: AppLocalizations.of(context)!.refresh,
+          ),
+          const SizedBox(width: 8),
+        ],
         PopupMenuButton(
           itemBuilder: (context) => [
             PopupMenuItem(