chore: fix some linting issues

This commit is contained in:
jamesread
2025-11-11 10:43:47 +00:00
parent d32d92baab
commit 00d7285167
4 changed files with 24 additions and 21 deletions

View File

@@ -330,10 +330,10 @@ onMounted(() => {
document.addEventListener('fullscreenchange', (e) => {
setTimeout(() => { // Wait for the DOM to settle
if (document.fullscreenElement) {
window.terminal.fit()
terminal.fit()
} else {
window.terminal.resize(80, 40)
window.terminal.fit()
terminal.resize(80, 40)
terminal.fit()
}
}, 100)
})