We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
显示设置中增加对虚拟终端字体、字号、行间距的设置选项,高分辨率下字体太小。
The text was updated successfully, but these errors were encountered:
+1 不然每次都要手动按ctrl + -。。
Sorry, something went wrong.
@yzddmr6 我直接修改了static/libs/terminal/css/jquery.terminal-1.1.1.css文件,把字体大小和行间距调大了。
static/libs/terminal/css/jquery.terminal-1.1.1.css
.terminal, .cmd, .terminal .terminal-output div div, .cmd .prompt { font-size: calc(var(--size, 1) * 16px); line-height: calc(var(--size, 1) * 18px); }
可以是可以,但是每次更新都要手动打开文件改,用户体验不好 如果能直接在设置中设置就更好了
可以,其实只需要把默认的 --size 改了就行了。
--size
all done 30f365a
nice
Medicean
No branches or pull requests
新功能建议
新功能描述
显示设置中增加对虚拟终端字体、字号、行间距的设置选项,高分辨率下字体太小。
The text was updated successfully, but these errors were encountered: