aljaz/flutter_server_box
1
1
Fork 0
mirror of https://github.com/lollipopkit/flutter_server_box.git synced 2026-02-23 16:45:27 +01:00
Code Issues Packages Projects Releases Wiki Activity

new: ssh tab

Browse Source
This commit is contained in:
lollipopkit
2023-11-12 15:58:54 +08:00
parent 8693ce07a2
commit 790812901d
8 changed files with 195 additions and 101 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
lib/data/model/app/tab.dart
View File

@@ -1,12 +1,13 @@
import 'package:flutter/material.dart';
import 'package:toolbox/view/page/ping.dart';
import 'package:toolbox/view/page/server/tab.dart';
import 'package:toolbox/view/page/snippet/list.dart';
import 'package:toolbox/view/page/ssh/tab.dart';
enum AppTab {
server,
ssh,
snippet,
ping;
;
Widget get page {
switch (this) {
@@ -14,8 +15,8 @@ enum AppTab {
return const ServerPage();
case snippet:
return const SnippetListPage();
case ping:
return const PingPage();
case ssh:
return const SSHTabPage();
}
}
}

6
lib/data/provider/server.dart
View File

@@ -21,10 +21,8 @@ import '../model/server/snippet.dart';
import '../model/server/try_limiter.dart';
import '../res/status.dart';
typedef ServersMap = Map<String, Server>;
class ServerProvider extends ChangeNotifier {
final ServersMap _servers = {};
final Map<String, Server> _servers = {};
Iterable<Server> get servers => _servers.values;
final Order<String> _serverOrder = [];
Order<String> get serverOrder => _serverOrder;
@@ -102,7 +100,7 @@ class ServerProvider extends ChangeNotifier {
}
Server genServer(ServerPrivateInfo spi) {
return Server(spi, InitStatus.status, null, ServerState.disconnected);
return Server(spi, InitStatus.status, ServerState.disconnected);
}
/// if [spi] is specificed then only refresh this server

6
lib/data/res/build_data.dart
View File

@@ -2,9 +2,9 @@
class BuildData {
static const String name = "ServerBox";
static const int build = 634;
static const int build = 636;
static const String engine = "3.13.8";
static const String buildAt = "2023-11-03 22:14:11";
static const String buildAt = "2023-11-07 19:05:38";
static const int modifications = 2;
static const int script = 25;
static const int script = 26;
}