Hook up xterm.js trace log level

pull/191071/head
Daniel Imms 2023-08-23 05:32:06 -07:00
parent 6885d66040
commit f712b1caba
No known key found for this signature in database
GPG Key ID: E5CF412B63651C69
1 changed files with 1 additions and 1 deletions

View File

@ -961,7 +961,7 @@ export function getXtermScaledDimensions(font: ITerminalFont, width: number, hei
function vscodeToXtermLogLevel(logLevel: LogLevel): XtermLogLevel {
switch (logLevel) {
case LogLevel.Trace:
case LogLevel.Trace: return 'trace';
case LogLevel.Debug: return 'debug';
case LogLevel.Info: return 'info';
case LogLevel.Warning: return 'warn';