luckyimnotanigger/adguard-home-manager
1
0
Fork 0
mirror of https://github.com/JGeek00/adguard-home-manager.git synced 2025-05-04 20:30:35 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Show server version message on app start

Browse source
This commit is contained in:
Juan Gilsanz Polo 2023-11-20 14:22:01 +01:00
parent dbb2609339
commit 39cdcf648d
5 changed files with 38 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

2
lib/providers/servers_provider.dart
View file

@ -60,7 +60,7 @@ class ServersProvider with ChangeNotifier {
notifyListeners();
}
void setSelectedServer(Server server) {
void setSelectedServer(Server? server) {
_selectedServer = server;
notifyListeners();
}