tool folding

2026-10-16 11:26:15 -07:00
parent 4dff9b7471
commit ff7ce86cb5
5 changed files with 77 additions and 21 deletions
@@ -894,15 +894,23 @@ button.compact.danger {
  cursor: pointer;
 }

-.tool-group-body {
+.tool-group-body,
+.subagent-body {
  display: flex;
  flex-direction: column;
  gap: 6px;
  padding: 6px 0 4px;
 }

+.subagent-body:empty {
+  display: none;
+}
+
 .tool-group-body .thinking,
-.tool-group-body .tool {
+.tool-group-body .tool,
+.subagent-body > .thinking,
+.subagent-body > .tool,
+.subagent-body > .tool-group {
  background: var(--raised);
 }