Enhancement: Extension name tooltips for tool banners #1
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Add Extension Name Tooltips to Tool Banners
Overview
Adds hover tooltips to tool banners showing extension names (e.g., "developer extension") without cluttering the UI. This builds on the clean tool descriptions from block#3231 by providing extension information on demand through tooltips.
Features
developer__shell→ "developer extension")__separator show no tooltipScreenshot
Implementation
ui/desktop/src/components/ToolCallWithResponse.tsxgetExtensionTooltip()helper functionTooltipWrappercomponent withalign="start"Testing
Provides extension information on demand while maintaining a clean interface.