Merge pull request #435 from one-some/token-stream-newline-fix

UI: Fix token streaming gobbling trailing whitespace
This commit is contained in:
henk717
2023-08-10 19:55:50 +02:00
committed by GitHub

View File

@@ -1642,6 +1642,10 @@ body {
font-style: italic;
}
#token-stream-buffer {
white-space: pre-wrap;
}
#option-container {
margin-top: 10px;
grid-area: options;