new: edit docker host on err

This commit is contained in:
lollipopkit
2023-11-23 22:22:56 +08:00
parent d74819b198
commit f9f419f03f
5 changed files with 30 additions and 26 deletions

View File

@@ -2,9 +2,9 @@
class BuildData {
static const String name = "ServerBox";
static const int build = 646;
static const int build = 648;
static const String engine = "3.16.0";
static const String buildAt = "2023-11-23 00:07:00";
static const int modifications = 7;
static const int script = 28;
static const String buildAt = "2023-11-23 22:02:19";
static const int modifications = 4;
static const int script = 29;
}

View File

@@ -40,6 +40,7 @@ class GithubIds {
'wcbing',
'balh55y',
'wc7086',
'michaelsara'
'michaelsara',
'xingleiwu'
};
}

View File

@@ -198,7 +198,8 @@ class _DockerManagePageState extends State<DockerManagePage> {
Padding(
padding: const EdgeInsets.all(17),
child: _buildSolution(Pros.docker.error!),
)
),
_buildEditHost(),
],
),
);
@@ -475,7 +476,9 @@ class _DockerManagePageState extends State<DockerManagePage> {
Widget _buildEditHost() {
final children = <Widget>[];
if (Pros.docker.items!.isEmpty && Pros.docker.images!.isEmpty) {
final emptyImgs = Pros.docker.images?.isEmpty ?? false;
final emptyPs = Pros.docker.items?.isEmpty ?? false;
if (emptyPs && emptyImgs) {
children.add(Padding(
padding: const EdgeInsets.fromLTRB(17, 17, 17, 0),
child: Text(