feat(cli): polish the interactive shell — markdown detail modal + live filter portal#1013
Open
nickprotop wants to merge 2 commits into
Open
feat(cli): polish the interactive shell — markdown detail modal + live filter portal#1013nickprotop wants to merge 2 commits into
nickprotop wants to merge 2 commits into
Conversation
…e filter portal Bump SharpConsoleUI to 2.5.10 (markdown ruler/table rendering fixes) and use its markdown capabilities to polish two interactive-shell surfaces. Detail modal (skills/bundles/agents/installed): - Render descriptions and the SKILL.md preview as real markdown via MarkupControl.SetMarkdown instead of escaped plain text. - Show the FULL SKILL.md (dropped the 10-line cap) in its own fill-height scrolling panel with a "## Preview" heading and a left margin; the skill modal folds the summary into one cohesive markdown document. - The static (Spectre stdout) detail panel keeps a short capped excerpt. Filter: - Replace the heavy centered "/" search modal with a slim non-blocking portal (SearchFilterPortal) that filters the list/table behind it live as you type, driving the existing _searchFilter + RebuildActivePage path so grouped, flat, and non-table pages all filter uniformly. - The on-page filter chip gains a clickable [Clear] link (MarkupControl link support) and a subtle separator rule. Build + 614 tests pass.
Refresh the checked-in external-source snapshots to the latest upstream so the "verify imported external sources are committed" CI gate passes. Regenerated via scripts/sync_external_catalog_sources.sh; no manual edits. Unrelated to the shell polish in this branch.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
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.
What
Two interactive-shell (
dotnet skills) UX improvements, plus a SharpConsoleUIbump to 2.5.10 (markdown ruler/table rendering fixes) that they build on.
Detail modal (skills / bundles / agents / installed)
(
MarkupControl.SetMarkdown) instead of escaped plain text.own fill-height scrolling panel with a
## Previewheading and a leftmargin. The skill modal folds the summary into one cohesive markdown document.
doesn't flood the terminal.
Filter
/search now opens a slim, non-blocking portal (SearchFilterPortal)that filters the list/table behind it live as you type, replacing the
heavy centered modal. It drives the existing
_searchFilter+RebuildActivePagepath, so grouped, flat, and non-table pages all filteruniformly.
MarkupControl's link support) and a subtle separator rule.Validation
dotnet build dotnet-skills.slnx— builds.dotnet test dotnet-skills.slnx— 614 passed, 0 failed.headings/tables/rules;
/opens the live-filter portal; the Clear link andEsc both clear the filter.