修改 project explorer 字体大小
网上查阅资料,知道一种方法,亲试有效
步骤
1. 确认 eclipse 的使用主题,找到对应css文件
一般情况文件位置在: pluginsorg.eclipse.ui.themes_1.2.400.v20190223-1254css
文件下,plugins
就是eclipse启动目录里面的配置文件;本人是windows系统,eclipse使用主题是 dark,所以找到对应的 e4-dark_win.css
文件
2. 使用编辑器打开 css文件,在文件最末尾添加字体css代码
/* 修改 #################### project explorer 字体大小 font-size值对应字体大小 ############# */
#org-eclipse-jdt-ui-PackageExplorer Tree,
#org-eclipse-ui-navigator-ProjectExplorer Tree,
#org-eclipse-ui-views-ContentOutline Tree,
#PerspectiveSwitcher ToolBar {
font-size: 14px;
}
3. 重启eclipse 生效
参考
http://blog.sina.com.cn/s/blog_67e192090102x0a7.html
https://bbs.csdn.net/topics/390817112