IDEA字体的选择
之前安装在电脑上的IDEA免费体验过期了,卸载后在网上找了另一个版本的IDEA2020.1.2。
打开后发现字体的大小和格式都不喜欢,于是查资料换一下。
------------------------------------------------------------------------------------------
具体操作如下:
File->
Settings->
Editor->
Font->
Font下拉框选择的字体为Droid Sans Mono Slashed;Size选择的12->
Apply结束
---------------------------------------------------------------------------------------------
在Font下拉框里有三个Droid开头的字体,分别是①Droid Sans Mono②Droid Sans Mono Dotted③Droid Sans Mono Slashed
只有③在使用后,输入数字0的时候,在0的对角线处会有一个斜线,便于和大写O、小写o做区分。
如果有更好的字体推荐欢迎大家交流讨论,谢谢!
//这是本人第一次写博客园,那么第一篇博客的格式方面会处理得不好,之后不断摸索博客编辑技巧,提高自身水平。