mirror of
https://github.com/earendil-works/pi.git
synced 2026-06-18 15:54:04 +08:00
fix(coding-agent): preserve share page tool output indentation closes #3440
This commit is contained in:
@@ -510,6 +510,7 @@
|
||||
margin: 0;
|
||||
padding: 0;
|
||||
line-height: var(--line-height);
|
||||
white-space: pre-wrap;
|
||||
}
|
||||
|
||||
.tool-output pre {
|
||||
|
||||
Reference in New Issue
Block a user