如何更改 Terminal 字体在 IntelliJ IDEA 2017.2.2

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

已注册用户请登录

这是一个创建于 2424 天前的主题，其中的信息可能已经有所发展或是发生改变。

如何更改 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

第 1 条附言 · 2017-08-29 10:19:12 +08:00

2017.2.2 的 console font 是这样的,
选中 Powerline 字体后 Apply 后 Console Log 有变化，
Terminal 没有变化，新开，重启 IDEA 均没变化呀 =. =

第 2 条附言 · 2017-08-29 12:50:46 +08:00

IDEA是Mac版

需要换字体的原因是使用了zsh和powerline theme IDEA Terminal 启动时显示

.oh-my-zsh/themes/powerline.zsh-theme:112: character not in range

因此在显示时无法正常显示powerline主题我以为是因为字体原因，我再找找其它的原因

12 条回复 • 2017-08-29 15:03:02 +08:00

flaneurse

2017-08-29 01:55:40 +08:00 via Android

console

boboliu

2017-08-29 02:00:25 +08:00

标题的语法是不是不太对劲？

Editor - Color Scheme - Console Font

Cyron

2017-08-29 02:09:41 +08:00 via iPhone

@boboliu 英文语法 2333

340244120

2017-08-29 07:17:32 +08:00 via Android

vision control 的字体修改后，游览单个文件的历史记录详情时很大概率出现乱码。这 bug 被反馈了一年多了也没解决

340244120

2017-08-29 07:17:55 +08:00 via Android

*version

stanjia

2017-08-29 10:14:47 +08:00

@flaneurse 谢谢你，改变 console font 似乎已经只能改 console log 里面的字体了，我尝试改动 console font 后 console log 立刻发生变化，但 terminal 关闭，新开，重新启动 IDEA 再打开 terminal 均不能改动字体了你的 IDEA 是 2017.2.2 吗？是否能帮忙测试下

stanjia

2017-08-29 10:20:03 +08:00

@boboliu 宝贝，改了 connsole font 只改变了 console log 里面的字体耶

stanjia

2017-08-29 10:22:01 +08:00

@340244120 vision control 还是 version console ?

boboliu

2017-08-29 11:43:30 +08:00

@stanjia 我是可以的，Gogland EAP 12 / PyCharm 2017.2.2 / IDEA U 2017.2.2 均测试无误，重启有效。

附图一张

stanjia

2017-08-29 12:51:27 +08:00

@boboliu 谢谢你
其实是想解决这个错误我再尝试下
.oh-my-zsh/themes/powerline.zsh-theme:112: character not in range

warcraft1236

2017-08-29 14:27:56 +08:00

应该调换空格前后的语句吧？

stanjia

2017-08-29 15:03:02 +08:00

@warcraft1236 亲帮我看看这个.oh-my-zsh/themes/powerline.zsh-theme:112: character not in range

如何更改 Terminal 字体 在 IntelliJ IDEA 2017.2.2

如何更改 Terminal 字体在 IntelliJ IDEA 2017.2.2