Merge c7215f46c1f8879d93eb61a6394e090b799aa268 into 4290ea753912378913b1f3f54e0fc5720afeda5d

This commit is contained in:
Jake Yallop 2026-08-10 03:37:17 -07:00 committed by GitHub
commit 1da67d53cb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -46,7 +46,7 @@ function main() {
showErrors: true,
errorTimeout: 4000,
attemptHighlight: true,
theme: "classic",
theme: undefined,
useMetaKey: false,
logLevel: "info",
autoMagic: true,