create and use WhitePopupMenuSelectableText in place of SelectableText

Author: levkropp

src/client/gui/lib/extensions.dart

@@ -107,3 +107,45 @@ extension NullableMap<T> on T? {
     }
   }
 }
+
+/// A custom wrapper for SelectableText with a white popup (right-click) menu.
+class WhitePopupMenuSelectableText extends StatelessWidget {
+  final String text;
+  final TextStyle? style;
+  final TextAlign? textAlign;
+  final int? maxLines;
+
+  const WhitePopupMenuSelectableText({
+    super.key,
+    required this.text,
+    this.style,
+    this.textAlign,
+    this.maxLines,
+  });
+
+  @override
+  Widget build(BuildContext context) {
+    final textButtonStyle = Theme.of(context).textButtonTheme.style?.copyWith(
+      backgroundColor: const WidgetStatePropertyAll(Colors.white),
+    );
+
+    return SelectableText(
+      text,
+      style: style?.copyWith(overflow: TextOverflow.ellipsis) ?? const TextStyle(overflow: TextOverflow.ellipsis),
+      textAlign: textAlign,
+      maxLines: maxLines,
+      contextMenuBuilder: (context, editableTextState) {
+        return TapRegion(
+          onTapOutside: (_) => ContextMenuController.removeAny(),
+          child: TextButtonTheme(
+            data: TextButtonThemeData(style: textButtonStyle),
+            child: AdaptiveTextSelectionToolbar.buttonItems(
+              anchors: editableTextState.contextMenuAnchors,
+              buttonItems: editableTextState.contextMenuButtonItems,
+            ),
+          ),
+        );
+      },
+    );
+  }
+}

src/client/gui/lib/vm_details/ip_addresses.dart

@@ -17,7 +17,7 @@ class IpAddresses extends StatelessWidget {
       Expanded(
         child: Tooltip(
           message: firstIp,
-          child: SelectableText(firstIp.nonBreaking, maxLines: 1),
+          child: WhitePopupMenuSelectableText(text: firstIp.nonBreaking, maxLines: 1),
         ),
       ),
       if (restIps.isNotEmpty)

src/client/gui/lib/vm_details/memory_usage.dart

@@ -1,5 +1,7 @@
 import 'package:flutter/material.dart';
 
+import '../extensions.dart';
+
 class MemoryUsage extends StatelessWidget {
   final String used;
   final String total;
@@ -21,8 +23,8 @@ class MemoryUsage extends StatelessWidget {
       color: value < 0.8 ? normalColor : almostFullColor,
     );
 
-    final label = SelectableText(
-      value != 0 ? '${_formatMemory(used)} / ${_formatMemory(total)}' : '-',
+    final label = WhitePopupMenuSelectableText(
+      text: value != 0 ? '${_formatMemory(used)} / ${_formatMemory(total)}' : '-',
       style: const TextStyle(fontSize: 11),
     );
 

src/client/gui/lib/vm_details/vm_details_general.dart

@@ -76,8 +76,8 @@ class VmDetailsHeader extends ConsumerWidget {
 
     final list = [
       Expanded(
-        child: SelectableText(
-          name.nonBreaking,
+        child: WhitePopupMenuSelectableText(
+          text: name.nonBreaking,
           style: const TextStyle(fontSize: 24, fontWeight: FontWeight.w300),
           maxLines: 1,
           textAlign: TextAlign.start,
@@ -150,29 +150,29 @@ class GeneralDetails extends ConsumerWidget {
       width: 150,
       height: baseVmStatHeight,
       label: 'IMAGE',
-      child: SelectableText(info.instanceInfo.currentRelease),
+      child: WhitePopupMenuSelectableText(text: info.instanceInfo.currentRelease),
     );
 
     final privateIp = VmStat(
       width: 150,
       height: baseVmStatHeight,
       label: 'PRIVATE IP',
-      child: SelectableText(info.instanceInfo.ipv4.firstOrNull ?? '-'),
+      child: WhitePopupMenuSelectableText(text: info.instanceInfo.ipv4.firstOrNull ?? '-'),
     );
 
     final publicIp = VmStat(
       width: 150,
       height: baseVmStatHeight,
       label: 'PUBLIC IP',
-      child: SelectableText(info.instanceInfo.ipv4.skip(1).firstOrNull ?? '-'),
+      child: WhitePopupMenuSelectableText(text: info.instanceInfo.ipv4.skip(1).firstOrNull ?? '-'),
     );
 
     final created = VmStat(
       width: 140,
       height: baseVmStatHeight,
       label: 'CREATED',
-      child: SelectableText(
-        DateFormat('yyyy-MM-dd HH:mm:ss')
+      child: WhitePopupMenuSelectableText(
+        text: DateFormat('yyyy-MM-dd HH:mm:ss')
             .format(info.instanceInfo.creationTimestamp.toDateTime()),
       ),
     );
@@ -181,7 +181,7 @@ class GeneralDetails extends ConsumerWidget {
       width: 300,
       height: baseVmStatHeight,
       label: 'UPTIME',
-      child: SelectableText(info.instanceInfo.uptime),
+      child: WhitePopupMenuSelectableText(text: info.instanceInfo.uptime),
     );
 
     return Column(

src/client/gui/lib/vm_table/vm_table_headers.dart

@@ -72,8 +72,8 @@ final headers = <TableHeader<VmInfo>>[
     minWidth: 70,
     cellBuilder: (info) {
       final image = info.instanceInfo.currentRelease;
-      return SelectableText(
-        image.isNotBlank ? image.nonBreaking : '-',
+      return WhitePopupMenuSelectableText(
+        text: image.isNotBlank ? image.nonBreaking : '-',
         maxLines: 1,
       );
     },