Sticky headers where the top rounded border is sticky. (#12971)

This commit is contained in:
Jacob Richman
2025-11-12 17:01:16 -08:00
committed by GitHub
parent d26b828ab3
commit ee7065f665
13 changed files with 346 additions and 209 deletions
@@ -17,12 +17,15 @@ Tips for getting started:
3. Create GEMINI.md files to customize your interactions with Gemini.
4. /help for more information.
╭──────────────────────────────────────────────────────────────────────────────╮
ToolMessage: tool1 - Success
✓ tool1 Description for tool 1
│ │
╰──────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────╮
ToolMessage: tool2 - Success
✓ tool2 Description for tool 2
│ │
╰──────────────────────────────────────────────────────────────────────────────╯
╭──────────────────────────────────────────────────────────────────────────────╮
ToolMessage: tool3 - Pending
o tool3 Description for tool 3
│ │
╰──────────────────────────────────────────────────────────────────────────────╯"
`;