fix color formatting core dump

hanatui/src/Tui/KeySelectionScreen.cs

@@ -1,5 +1,6 @@
 using HanaTui.Hana;
 using Spectre.Console;
+using SysText = System.Text;
 
 namespace HanaTui.Tui;
 
@@ -9,6 +10,10 @@ namespace HanaTui.Tui;
 /// </summary>
 public static class KeySelectionScreen
 {
+    // Sentinel values for the non-key choices
+    private const string ManualEntry = "__MANUAL__";
+    private const string ExitChoice  = "__EXIT__";
+
     public static string? Run()
     {
         AnsiConsole.Clear();
@@ -28,7 +33,7 @@ public static class KeySelectionScreen
         // Show client path for reference
         var clientDir = HdbClientLocator.ClientDirectory;
         if (clientDir is not null)
-            AnsiConsole.MarkupLine($"[dim]HDB client: {clientDir}[/]\n");
+            AnsiConsole.MarkupLine($"[dim]HDB client: {Markup.Escape(clientDir)}[/]\n");
 
         // Load keys with a spinner
         List<HdbUserstoreKey> keys = [];
@@ -47,49 +52,77 @@ public static class KeySelectionScreen
             AnsiConsole.MarkupLine("You can still enter a key name manually.\n");
         }
 
-        // Build selection choices
-        var choices = new List<string>();
+        // Build a plain-string list where the value IS the key name (or sentinel).
+        // We use SelectionPrompt<string> with a display converter so Spectre renders
+        // the label as markup but we always get back the plain key name.
+        var choiceNames = new List<string>();
+        var displayMap  = new Dictionary<string, string>(); // name -> display label
+
         foreach (var k in keys)
         {
-            var detail = BuildKeyDetail(k);
-            choices.Add(detail);
+            choiceNames.Add(k.Name);
+            displayMap[k.Name] = BuildKeyDisplay(k);
         }
-        choices.Add("[dim][ Enter key name manually ][/]");
-        choices.Add("[red][ Exit ][/]");
+
+        choiceNames.Add(ManualEntry);
+        displayMap[ManualEntry] = "[ Enter key name manually ]";
+
+        choiceNames.Add(ExitChoice);
+        displayMap[ExitChoice] = "[ Exit ]";
 
         var prompt = new SelectionPrompt<string>()
             .Title("[bold]Select HDBUSERSTORE key:[/]")
             .PageSize(15)
             .HighlightStyle(Style.Parse("bold dodgerblue1"))
-            .AddChoices(choices);
+            .UseConverter(name => displayMap.TryGetValue(name, out var label) ? label : name)
+            .AddChoices(choiceNames);
 
         var selected = AnsiConsole.Prompt(prompt);
 
-        if (selected.Contains("Exit"))
+        if (selected == ExitChoice)
             return null;
 
-        if (selected.Contains("manually"))
+        if (selected == ManualEntry)
         {
             var manual = AnsiConsole.Ask<string>("[bold]Enter HDBUSERSTORE key name:[/]").Trim();
             return string.IsNullOrWhiteSpace(manual) ? null : manual;
         }
 
-        // Extract the key name from the formatted string (it's always the first word)
-        var keyName = selected.Split(' ')[0].Trim();
-        return keyName;
+        // selected is already the plain key name
+        return selected;
     }
 
-    private static string BuildKeyDetail(HdbUserstoreKey k)
+    /// <summary>
+    /// Builds a plain-text display label (no markup) for a key.
+    /// Spectre's UseConverter renders the returned string as plain text.
+    /// </summary>
+    private static string BuildKeyDisplay(HdbUserstoreKey k)
     {
-        var parts = new List<string> { k.Name };
+        var sb = new SysText.StringBuilder(k.Name);
 
         if (!string.IsNullOrEmpty(k.Host))
-            parts.Add($"[dim]{k.Host}:{k.Port}[/]");
-        if (!string.IsNullOrEmpty(k.Tenant))
-            parts.Add($"[dim]@{k.Tenant}[/]");
-        if (!string.IsNullOrEmpty(k.User))
-            parts.Add($"[dim]user={k.User}[/]");
+        {
+            sb.Append("  ");
+            sb.Append(k.Host);
+            if (!string.IsNullOrEmpty(k.Port))
+            {
+                sb.Append(':');
+                sb.Append(k.Port);
+            }
+        }
 
-        return string.Join("  ", parts);
+        if (!string.IsNullOrEmpty(k.Tenant))
+        {
+            sb.Append('@');
+            sb.Append(k.Tenant);
+        }
+
+        if (!string.IsNullOrEmpty(k.User))
+        {
+            sb.Append("  user=");
+            sb.Append(k.User);
+        }
+
+        return sb.ToString();
     }
 }