Filip/playwright
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

chore(ui): bump xterm scrollback (#21772)

Browse source
This commit is contained in:
Pavel Feldman 2023-03-17 16:14:21 -07:00 committed by GitHub
parent 2a2d6c25a4
commit 50dd04ae61
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
packages/web/src/components/xtermWrapper.tsx
View file

@ -47,6 +47,7 @@ export const XtermWrapper: React.FC<{ source: XtermDataSource }> = ({
const newTerminal = new Terminal({ const newTerminal = new Terminal({
convertEol: true, convertEol: true,
fontSize: 13, fontSize: 13,
scrollback: 10000,
fontFamily: 'var(--vscode-editor-font-family)', fontFamily: 'var(--vscode-editor-font-family)',
theme: isDarkTheme() ? darkTheme : lightTheme theme: isDarkTheme() ? darkTheme : lightTheme
}); });