luckyimnotanigger/adguard-home-manager
1
0
Fork 0
mirror of https://github.com/JGeek00/adguard-home-manager.git synced 2025-04-26 08:46:06 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add refresh button desktop

Browse source
This commit is contained in:
Juan Gilsanz Polo 2023-12-11 13:33:01 +01:00
parent 5a12c4c111
commit c1e2a796af
1 changed files with 12 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
lib/screens/home/appbar.dart
View file

@ -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(