V2EX = way to explore V2EX 是一个关于分享和探索的地方
Sign Up Now For Existing Member Sign In
This topic created in 3165 days ago, the information mentioned may be changed or developed.
如何更改 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 Supplement 1 Aug 29, 2017
2017.2.2 的 console font 是这样的,
选中 Powerline 字体后 Apply 后 Console Log 有变化，
Terminal 没有变化，新开，重启 IDEA 均没变化呀 =. =
选中 Powerline 字体后 Apply 后 Console Log 有变化，
Terminal 没有变化，新开，重启 IDEA 均没变化呀 =. =
Supplement 2 Aug 29, 2017
IDEA是Mac版
需要换字体的原因是使用了zsh和powerline theme IDEA Terminal 启动时显示
.oh-my-zsh/themes/powerline.zsh-theme:112: character not in range 因此在显示时无法正常显示powerline主题 我以为是因为字体原因， 我再找找其它的原因
 | 1 flaneurse Aug 29, 2017 via Android console |
 | 2 boboliu Aug 29, 2017 标题的语法是不是不太对劲？ Editor - Color Scheme - Console Font |
 | 4 340244120 Aug 29, 2017 via Android vision control 的字体修改后，游览单个文件的历史记录详情时很大概率出现乱码。这 bug 被反馈了一年多了也没解决 |
| 5 340244120 Aug 29, 2017 via Android *version |
 | 6 stanjia OP @flaneurse 谢谢你， 改变 console font 似乎已经只能改 console log 里面的字体了， 我尝试改动 console font 后 console log 立刻发生变化， 但 terminal 关闭，新开，重新启动 IDEA 再打开 terminal 均不能改动字体了 你的 IDEA 是 2017.2.2 吗？ 是否能帮忙测试下 |
| 9 boboliu Aug 29, 2017 |
| 10 stanjia OP |
 | 11 daiqiangbudainiu Aug 29, 2017 应该调换空格前后的语句吧？ |
| 12 stanjia OP @warcraft1236 亲帮我看看这个.oh-my-zsh/themes/powerline.zsh-theme:112: character not in range |
Select Language