Skip to content

TUI config cleanup: plugin mentions#24266

Merged
etraut-openai merged 1 commit into
mainfrom
etraut/tui-plugin-mentions-app-server-read
May 26, 2026
Merged

TUI config cleanup: plugin mentions#24266
etraut-openai merged 1 commit into
mainfrom
etraut/tui-plugin-mentions-app-server-read

Conversation

@etraut-openai

@etraut-openai etraut-openai commented May 23, 2026

Copy link
Copy Markdown
Collaborator

Summary

TUI plugin mention refresh still joined app-server plugin inventory with client-local plugin config, which can diverge once plugin state is owned by the app server.

This changes the TUI to mirror the GUI client: plugin/list is the autocomplete source, and mention candidates are plugin-level entries filtered to installed, enabled, and not disabled by admin. The TUI no longer reads local plugin config or calls plugin/read while refreshing plugin mention candidates.

API shape and limitations

The current app-server API does not expose effective per-session plugin capability summaries for mention autocomplete. As in the GUI, autocomplete now trusts plugin/list metadata rather than proving which plugin capabilities are loaded in the active session.

That avoids stale client-local reads and the cwd/remote detail gaps in plugin/read, but intentionally accepts the same list-level tradeoff as the app: if plugin/list reports a remote plugin before its local bundle is materialized, the plugin can still appear as a mention candidate.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 1e0bd17a94

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread codex-rs/tui/src/app/plugin_mentions.rs Outdated
Comment thread codex-rs/tui/src/app/plugin_mentions.rs Outdated
Comment thread codex-rs/tui/src/app/plugin_mentions.rs Outdated
@etraut-openai etraut-openai force-pushed the etraut/tui-plugin-mentions-app-server-read branch from 1e0bd17 to 8eead6d Compare May 23, 2026 21:11
@etraut-openai etraut-openai changed the title Read TUI plugin mention capabilities from app server Source TUI plugin mentions from app server list May 23, 2026
@etraut-openai etraut-openai force-pushed the etraut/tui-plugin-mentions-app-server-read branch from 8eead6d to 125552b Compare May 23, 2026 21:15

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 125552bd75

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread codex-rs/tui/src/app/plugin_mentions.rs
Comment thread codex-rs/tui/src/app/plugin_mentions.rs
@etraut-openai etraut-openai changed the title Source TUI plugin mentions from app server list TUI config cleanup: plugin mentions May 24, 2026
@etraut-openai etraut-openai merged commit 22e4501 into main May 26, 2026
31 checks passed
@etraut-openai etraut-openai deleted the etraut/tui-plugin-mentions-app-server-read branch May 26, 2026 21:34
@github-actions github-actions Bot locked and limited conversation to collaborators May 26, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants