style: Increase the height of the script input box (#7398)

pull/7400/head
ssongliu 2024-12-18 10:12:14 +08:00 committed by GitHub
parent 2f0b4888de
commit dde686d55f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -212,7 +212,7 @@
:indent-with-tab="true"
:tabSize="4"
:lineWrapping="true"
style="width: 100%; margin-top: 5px; height: 100px"
style="width: 100%; margin-top: 5px; min-height: 100px"
theme="cobalt"
:styleActiveLine="true"
:matchBrackets="true"