如何更改 Terminal 字体呀?
IntelliJ IDEA 2017.2.2
Build #IU-172.3757.52, built on August 15, 2017
JRE: 1.8.0_152-release-915-b10 x86_64
JVM: OpenJDK 64-Bit Server VM by JetBrains s.r.o
Mac OS X 10.12.6
IDEA是Mac版
需要换字体的原因是使用了zsh和powerline theme IDEA Terminal 启动时显示
.oh-my-zsh/themes/powerline.zsh-theme:112: character not in range
因此在显示时无法正常显示powerline主题 我以为是因为字体原因, 我再找找其它的原因
1
flaneurse 2017-08-29 01:55:40 +08:00 via Android
console
|
2
boboliu 2017-08-29 02:00:25 +08:00
标题的语法是不是不太对劲?
Editor - Color Scheme - Console Font |
4
340244120 2017-08-29 07:17:32 +08:00 via Android
vision control 的字体修改后,游览单个文件的历史记录详情时很大概率出现乱码。这 bug 被反馈了一年多了也没解决
|
5
340244120 2017-08-29 07:17:55 +08:00 via Android
*version
|
6
stanjia OP @flaneurse 谢谢你, 改变 console font 似乎已经只能改 console log 里面的字体了, 我尝试改动 console font 后 console log 立刻发生变化, 但 terminal 关闭,新开,重新启动 IDEA 再打开 terminal 均不能改动字体了 你的 IDEA 是 2017.2.2 吗? 是否能帮忙测试下
|
9
boboliu 2017-08-29 11:43:30 +08:00
|
10
stanjia OP |
11
warcraft1236 2017-08-29 14:27:56 +08:00
应该调换空格前后的语句吧?
|
12
stanjia OP @warcraft1236 亲帮我看看这个.oh-my-zsh/themes/powerline.zsh-theme:112: character not in range
|