eclipse project explorer 下面的字体怎么更改大小
1个回答
推荐于2016-04-03 · 知道合伙人互联网行家
关注
展开全部
应该是如果eclipse选择的theme是win7,然后修改css里面对应的e4_default_win7文件
在stackoverflow中查到相关问题
在文件末尾添加以下几行代码
#org-eclipse-jdt-ui-PackageExplorer Tree,
#org-eclipse-ui-navigator-ProjectExplorer Tree,
#org-eclipse-ui-views-ContentOutline Tree,
#PerspectiveSwitcher ToolBar {
font-size: 8px;
}
可以奏效。
在stackoverflow中查到相关问题
在文件末尾添加以下几行代码
#org-eclipse-jdt-ui-PackageExplorer Tree,
#org-eclipse-ui-navigator-ProjectExplorer Tree,
#org-eclipse-ui-views-ContentOutline Tree,
#PerspectiveSwitcher ToolBar {
font-size: 8px;
}
可以奏效。
推荐律师服务:
若未解决您的问题,请您详细描述您的问题,通过百度律临进行免费专业咨询