From c29072d84dbe5fe3e5cf9a8cd930af59ca9c1b56 Mon Sep 17 00:00:00 2001 From: "Scott E. Graves" Date: Sat, 1 Mar 2025 15:47:34 -0600 Subject: [PATCH] gui changes --- web/repertory/lib/helpers.dart | 7 +++++++ web/repertory/lib/widgets/mount_widget.dart | 2 +- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/web/repertory/lib/helpers.dart b/web/repertory/lib/helpers.dart index 4c7ed50a..ea5c781f 100644 --- a/web/repertory/lib/helpers.dart +++ b/web/repertory/lib/helpers.dart @@ -1,3 +1,10 @@ +String formatMountName(String type, String name) { + if (type == "remote") { + return name.replaceAll("_", ":"); + } + return name; +} + String initialCaps(String txt) { if (txt.isEmpty) { return txt; diff --git a/web/repertory/lib/widgets/mount_widget.dart b/web/repertory/lib/widgets/mount_widget.dart index 867b342d..861be47e 100644 --- a/web/repertory/lib/widgets/mount_widget.dart +++ b/web/repertory/lib/widgets/mount_widget.dart @@ -31,7 +31,7 @@ class _MountWidgetState extends State { crossAxisAlignment: CrossAxisAlignment.start, children: [Text(mount.name), Text(mount.path)], ) - : Text(mount.name), + : Text(formatMountName(mount.type, mount.name)), title: Text(initialCaps(mount.type)), trailing: Icon(mount.state), );