diff options
| author | _ov4 <ov4@ov4.org> | 2026-10-22 01:45:15 +0000 |
|---|---|---|
| committer | _ov4 <ov4@ov4.org> | 2026-10-22 01:45:15 +0000 |
| commit | 660d618f8b0df318d636cd780e547890d0248c0c (patch) | |
| tree | ea3f7746105d271558287ccd7268834245df68fd /bundle/vendor/vscode | |
| parent | 427acc420c6fce10fa77e603f7696f3e89d342d6 (diff) | |
feat(bundle): color compiler diagnostics in Output
The runner now passes -fdiagnostics-color=always, since auto only sees a
pipe. src/ansi.js turns stderr's SGR sequences into bold and colored
runs, keeping style and cut-off sequences across chunks and dropping
other sequences such as gcc's erase-line. Program stdout stays verbatim.
Colors come from --vscode-terminal-ansi* variables. 2026 Dark leaves
them unset, so vendor/vscode/terminal-colors.json pins VS Code's dark
terminal defaults from the same upstream commit as the themes; a theme
value still wins.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Diffstat (limited to 'bundle/vendor/vscode')
| -rw-r--r-- | bundle/vendor/vscode/terminal-colors.json | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/bundle/vendor/vscode/terminal-colors.json b/bundle/vendor/vscode/terminal-colors.json new file mode 100644 index 0000000..757a621 --- /dev/null +++ b/bundle/vendor/vscode/terminal-colors.json @@ -0,0 +1,23 @@ +// Dark defaults that VS Code's terminal uses when a theme leaves terminal.ansi* unset. +// Values from src/vs/workbench/contrib/terminal/common/terminalColorRegistry.ts at commit +// f93fdeb454a0f0fafe5f310408cec48dd3b6f58a, under the MIT license in LICENSE.txt. +{ + "colors": { + "terminal.ansiBlack": "#000000", + "terminal.ansiRed": "#cd3131", + "terminal.ansiGreen": "#0DBC79", + "terminal.ansiYellow": "#e5e510", + "terminal.ansiBlue": "#2472c8", + "terminal.ansiMagenta": "#bc3fbc", + "terminal.ansiCyan": "#11a8cd", + "terminal.ansiWhite": "#e5e5e5", + "terminal.ansiBrightBlack": "#666666", + "terminal.ansiBrightRed": "#f14c4c", + "terminal.ansiBrightGreen": "#23d18b", + "terminal.ansiBrightYellow": "#f5f543", + "terminal.ansiBrightBlue": "#3b8eea", + "terminal.ansiBrightMagenta": "#d670d6", + "terminal.ansiBrightCyan": "#29b8db", + "terminal.ansiBrightWhite": "#e5e5e5" + } +} |