Skip to content
New issue

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

新功能建议:显示设置中增加对虚拟终端字体、字号、行间距的设置选项 #203

Closed
3 tasks done
think3t opened this issue Aug 2, 2019 · 6 comments
Closed
3 tasks done
Assignees

Comments

@think3t
Copy link

think3t commented Aug 2, 2019

  • 这是一个新功能的建议

新功能建议

  • 我确定我所提的新功能不在待做事项内,也不在issue列表
  • 我确定我所提出的新功能是为了方便在网站管理,而不是用于非法用途

新功能描述

显示设置中增加对虚拟终端字体、字号、行间距的设置选项,高分辨率下字体太小。

@yzddmr6
Copy link
Member

yzddmr6 commented Aug 2, 2019

+1
不然每次都要手动按ctrl + -。。

@think3t
Copy link
Author

think3t commented Aug 3, 2019

@yzddmr6 我直接修改了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);
    }

@yzddmr6
Copy link
Member

yzddmr6 commented Aug 3, 2019

可以是可以,但是每次更新都要手动打开文件改,用户体验不好
如果能直接在设置中设置就更好了

@Medicean
Copy link
Collaborator

Medicean commented Aug 5, 2019

可以,其实只需要把默认的 --size 改了就行了。

@Medicean Medicean self-assigned this Aug 5, 2019
@Medicean Medicean removed the ✍️In Progress 任务正在进行 label Aug 5, 2019
@Medicean
Copy link
Collaborator

Medicean commented Aug 5, 2019

all done 30f365a

adefault_terminal.png

@Medicean Medicean closed this as completed Aug 5, 2019
@yzddmr6
Copy link
Member

yzddmr6 commented Aug 5, 2019

nice

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants