tui: centralize slash command serialization

codex-rs/Cargo.toml

@@ -237,6 +237,7 @@ pathdiff = "0.2"
 portable-pty = "0.9.0"
 predicates = "3"
 pretty_assertions = "1.4.1"
+proptest = "1.7.0"
 pulldown-cmark = "0.10"
 quick-xml = "0.38.4"
 rand = "0.9"

codex-rs/tui/Cargo.toml

@@ -142,6 +142,7 @@ assert_matches = { workspace = true }
 chrono = { workspace = true, features = ["serde"] }
 insta = { workspace = true }
 pretty_assertions = { workspace = true }
+proptest = { workspace = true }
 rand = { workspace = true }
 serial_test = { workspace = true }
 vt100 = { workspace = true }

codex-rs/tui/src/bottom_pane/chat_composer.rs

@@ -192,6 +192,7 @@ use crate::render::Insets;
 use crate::render::RectExt;
 use crate::render::renderable::Renderable;
 use crate::slash_command::SlashCommand;
+use crate::slash_command::SlashCommandInvocation;
 use crate::style::user_message_style;
 use codex_protocol::custom_prompts::CustomPrompt;
 use codex_protocol::custom_prompts::PROMPTS_CMD_PREFIX;
@@ -1423,12 +1424,13 @@ impl ChatComposer {
                                 return (InputResult::Command(cmd), true);
                             }
 
-                            let starts_with_cmd = first_line
-                                .trim_start()
-                                .starts_with(&format!("/{}", cmd.command()));
+                            let bare_command =
+                                SlashCommandInvocation::bare(cmd).into_prefixed_string();
+                            let starts_with_cmd =
+                                first_line.trim_start().starts_with(&bare_command);
                             if !starts_with_cmd {
                                 self.textarea
-                                    .set_text_clearing_elements(&format!("/{} ", cmd.command()));
+                                    .set_text_clearing_elements(&format!("{bare_command} "));
                             }
                             if !self.textarea.text().is_empty() {
                                 cursor_target = Some(self.textarea.text().len());
@@ -2566,10 +2568,6 @@ impl ChatComposer {
         }
 
         let cmd = slash_commands::find_builtin_command(name, self.builtin_command_flags())?;
-
-        if !cmd.supports_inline_args() {
-            return None;
-        }
         if self.reject_slash_command_if_unavailable(cmd) {
             return Some(InputResult::None);
         }

codex-rs/tui/src/bottom_pane/command_popup.rs

@@ -14,11 +14,6 @@ use codex_protocol::custom_prompts::CustomPrompt;
 use codex_protocol::custom_prompts::PROMPTS_CMD_PREFIX;
 use std::collections::HashSet;
 
-// Hide alias commands in the default popup list so each unique action appears once.
-// `quit` is an alias of `exit`, so we skip `quit` here.
-// `approvals` is an alias of `permissions`.
-const ALIAS_COMMANDS: &[SlashCommand] = &[SlashCommand::Quit, SlashCommand::Approvals];
-
 /// A selectable item in the popup: either a built-in command or a user prompt.
 #[derive(Clone, Copy, Debug, PartialEq, Eq)]
 pub(crate) enum CommandItem {
@@ -145,7 +140,7 @@ impl CommandPopup {
         if filter.is_empty() {
             // Built-ins first, in presentation order.
             for (_, cmd) in self.builtins.iter() {
-                if ALIAS_COMMANDS.contains(cmd) {
+                if cmd.hide_in_command_popup() {
                     continue;
                 }
                 out.push((CommandItem::Builtin(*cmd), None));