怎么操作eclipse字体大小设置的步骤
很多用过eclipse的朋友似乎都感觉eclipse字体比较小,需要早使用的时候设置成自己可以接受的大小才可以的。可是有时候中文设置成自己接受的大小之后英文又不协调了,怎么可以解决这些问题呢?现在就说说eclipse字体大小设置的一些问题。让我们在以后使用中感觉能更好一些。
eclipse字体大小设置的具体方法:
1. eclipse字体大小设置的方法。打开eclipse,找到“window”--“preferences”,在左边的菜单栏中找到general,appearance在general展开后的第一行,点击展开appearance。
2. 找到“colors and fonts”,点击。看到右边字体一列有很多的选项,我们只需要修改basic里面的;,最下面有 Text Font 这个选项。
3. 点击展开Basic,最下面有Text Font选项,点击,然后右边的Edit被激活了,点击Edit。选择你想要的字体就可以啦。
4. eclipse字体大小设置英文的方法。此时只需要把“大小”里面的值编辑成“小五”即可。把eclipse的字体大小设置成“小五”就可以把中文字体调大了,然后点“确定”,再点“Apply”,“OK”,你就可以看到eclipse中文字体变大了,英文字体和大小不变(因为宋体的小五的英文字体大小正好和英文的10是相等的)。你可以通过把大小设置成宋体大小的更大值来同时调整中文英文的大小,这种设置方法可以让中英文字体协调美观。
在上文中把字体修改成小五然后让英文也协调的方法不知道大家感觉怎么样,因为每个人喜欢字体的大小是不一样的,所以估计这个方法也只是适合一部分人吧,但是大家在eclipse字体大小设置的时候可以参考这个办法也来试试,如果你根本就不用英文那就另当别论了。
相关文章
-
u盘怎么装系统中bios设置USB启动(图文教程)
相信很多人在生活中或者是工作中都使用过 u盘,所以u盘的运用是很大的。但是如果是没有设置好的话,那么使用起来就不是那么的方便的。比如说 使用u盘怎么装系统呢?如...
2017-10-28 15:26:06阅读全文 -
图文说明bios设置硬盘启动的安装方法
大家对硬盘了解多少呢?怎么才能把bios设置硬盘启动的第一项呢?但是硬盘的品牌在市场上有太多种类了,不同品牌的硬盘在进入到bios的按键也是不一样的,那么在这样的情况...
2017-10-28 15:21:20阅读全文 -
管理员权限怎么设置怎么解决?
如今随着网络的发展,信息传播速度越来越快,很多人都开始注意保护自己的隐私。在笔记本电脑的使用程序中,很多程序都需要管理员权限,一是为了保护自己的隐私,二是为了防...
2017-10-27 09:49:43阅读全文 -
华硕主板怎么设置u盘启动的方法有哪些?
近几年随着笔记本电脑的普及,各大笔记本电脑制造商蜂拥而出,其中华硕公司一直致力于科技研究,在主板,显卡,笔记本电脑领域取得了突出的成就。最近有不少华硕笔记本电脑...
2017-10-27 09:44:32阅读全文 -
360定时关机怎么设置?最详细的方法
如今电脑和手机的运用都是很广泛的,所以其中的很多功能大家也是了如指掌,特别是手机的运用,随身必带的,所以关于手机的自动关机关机的功能使用都是很灵活的,但是电脑可...
2017-10-25 20:33:00阅读全文 -
电脑关不了机是怎么回事 一招教你电脑关不了机怎么办
不知道大家有没有碰到过电脑关不了机的情况,在开始程序的关机按钮好像就是被施了魔法,怎么点就是不关机,电脑关不了机是怎么回事呢,后面一招教你电脑关不了机怎么办。...
2018-04-07阅读全文 -
非常喜欢看mv,想问一下qq音乐mv怎么下载
现实生活中不少人喜欢听音乐,音乐带我们走进另一个世界,也有的人喜欢看mv,喜欢把mv下载到自己的手机或者电脑上,这样看起来更加的流畅,不会受网速的影响,那么qq音乐mv怎么下载,下面小编就给大家详细介绍...
2018-03-30阅读全文 -
最近对电脑很有兴趣在学习电脑知识,请教一下bios与coms的区别
随着电脑在我们生活中的应用越来也普遍,平时多学习一些电脑知识是很很有必要的,时代在不断的发展,我们也要不断地学习。最近不少在自学电脑知识的朋友问到什么是bios,什么是 coms ,bios与coms的区别的...
2018-03-30阅读全文 -
在使用手机的时候,有时候手机会信号很不好,手机信号不好怎么办
现代生活中,几乎人手一部手机,手机使得我们的生活变得越来越方便,也给我们的生活带来了很多的娱乐,它使得人与人之间的联系越来越紧密,即使不在一个地方我们也可以通过手机交流自己的思想或者工作,在...
2018-03-29阅读全文 -
网上有不少蹭网软件出差在外需要蹭网,蹭网软件哪个好
现在网络几乎已经覆盖了我们的生活,但是到了有些地方还是不忘上网,比如出差或者旅游的时候,这时候你会想到蹭网,有很多的蹭网软软可以选择,那么蹭网软件哪个好,哪个信号更好一些,下面下编就给大家详细介...
2018-03-29阅读全文