eclipse project explorer 下面的字体怎么更改大小

yaakovyang 2014-06-20 03:57:42
如题所写,eclipse project explorer 下面的字体怎么更改大小?
...全文
8500 6 打赏 收藏 转发到动态 举报
写回复
用AI写文章
6 条回复
切换为时间正序
请发表友善的回复…
发表回复
东山少爷猪头 2015-10-09
  • 打赏
  • 举报
回复
引用 2 楼 last2hao 的回复:
应该是如果eclipse选择的theme是win7,然后修改css里面对应的e4_default_win7文件 在stackoverflow中查到相关问题 参考以下网站: http://stackoverflow.com/questions/3124629/how-can-i-configure-the-font-size-for-the-tree-item-in-the-package-explorer-in-e http://stackoverflow.com/questions/14529727/i-cannot-change-the-font-size-of-package-explorer-eclipse/15011440#15011440 在文件末尾添加以下几行代码 #org-eclipse-jdt-ui-PackageExplorer Tree, #org-eclipse-ui-navigator-ProjectExplorer Tree, #org-eclipse-ui-views-ContentOutline Tree, #PerspectiveSwitcher ToolBar { font-size: 8px; } 可以奏效。 但我因为已经用了其他的 theme,遇到了另外一个问题。这个 theme 是一个 jar 包,放在 plugin 文件夹下。我解压缩这个 jar 包后不作任何修改再用命令行的 jar cvf xxx.jar XXX 进行压缩,放到 plugin 文件夹下面,已经和之前的 theme 不同。所以我在解压缩 jar 包后的 css 文件里面作出修改,虽然能更改 project explorer 的字体大小,但原来 theme 已经被修改。 正在解决这个问题。
谢谢,这个方法可行,在mac上也可以了
vnvlyp 2014-07-23
  • 打赏
  • 举报
回复
引用 4 楼 mahe9347 的回复:
我怎么觉这个可以在
这只改了代码区域的字体吧?
嘎java嘎 2014-07-22
  • 打赏
  • 举报
回复 1
我怎么觉这个可以在
last2hao 2014-07-22
  • 打赏
  • 举报
回复
同问。 据说是修改 Eclipse\plugins\org.eclipse.platform_4.3.2.v20140221-1700\css 里面的某个内容。不过我暂时还没有修改成功。
last2hao 2014-07-22
  • 打赏
  • 举报
回复
事实上有一个叫Jeeeyul's Eclipse Themes的插件 https://github.com/jeeeyul/eclipse-themes 里面有一个custom CSS用上面的代码 #org-eclipse-jdt-ui-PackageExplorer Tree, #org-eclipse-ui-navigator-ProjectExplorer Tree, #org-eclipse-ui-views-ContentOutline Tree, #PerspectiveSwitcher ToolBar { font-size: 8px; } 也能修改。 只是在MoonRise UI Theme的介绍里,Select MoonRise (standalone) or, for a little better tabs decoration, install Eclipse 4 Chrome Theme from marketplace or from here and select MoonRise 这个select MoonRise不知道怎么弄。要把Jeeeyul's Eclipse Themes的任意性和MoonRise结合起来怎么弄? 这是我最新遇到的问题。 当然,最新的eclipse luna已经自带了dark theme,对比觉得应该就是把moonrise加进去了。 这时其 plugins\org.eclipse.ui.themes_1.0.0.v20140604-1608\css 文件夹下有多个跟dark相关的文件。 应该是可以通过某个文件的修改,代码加入以上几行,完成目标。同时不需要安装任何插件! 回想起来,最早玩java的时候eclipse也就100M+,现在200M+了,就是慢慢已经把很多优秀的插件融进去了。
last2hao 2014-07-22
  • 打赏
  • 举报
回复
应该是如果eclipse选择的theme是win7,然后修改css里面对应的e4_default_win7文件 在stackoverflow中查到相关问题 参考以下网站: http://stackoverflow.com/questions/3124629/how-can-i-configure-the-font-size-for-the-tree-item-in-the-package-explorer-in-e http://stackoverflow.com/questions/14529727/i-cannot-change-the-font-size-of-package-explorer-eclipse/15011440#15011440 在文件末尾添加以下几行代码 #org-eclipse-jdt-ui-PackageExplorer Tree, #org-eclipse-ui-navigator-ProjectExplorer Tree, #org-eclipse-ui-views-ContentOutline Tree, #PerspectiveSwitcher ToolBar { font-size: 8px; } 可以奏效。 但我因为已经用了其他的 theme,遇到了另外一个问题。这个 theme 是一个 jar 包,放在 plugin 文件夹下。我解压缩这个 jar 包后不作任何修改再用命令行的 jar cvf xxx.jar XXX 进行压缩,放到 plugin 文件夹下面,已经和之前的 theme 不同。所以我在解压缩 jar 包后的 css 文件里面作出修改,虽然能更改 project explorer 的字体大小,但原来 theme 已经被修改。 正在解决这个问题。

67,547

社区成员

发帖
与我相关
我的任务
社区描述
J2EE只是Java企业应用。我们需要一个跨J2SE/WEB/EJB的微容器,保护我们的业务核心组件(中间件),以延续它的生命力,而不是依赖J2SE/J2EE版本。
社区管理员
  • Java EE
加入社区
  • 近7日
  • 近30日
  • 至今
社区公告
暂无公告

试试用AI创作助手写篇文章吧