【发布时间】:2013-06-26 13:10:54
【问题描述】:
我面临着图片中描述的相同问题:http://dentrassi.de/wp-content/uploads/eclipse1.png?cd7ade。 基本上工具栏的大小和日食的大小是巨大而丑陋的!我已经在互联网上搜索了解决方案,但没有找到解决方案。 有谁知道如何解决这个问题?
【问题讨论】:
标签: eclipse linux-mint
我面临着图片中描述的相同问题:http://dentrassi.de/wp-content/uploads/eclipse1.png?cd7ade。 基本上工具栏的大小和日食的大小是巨大而丑陋的!我已经在互联网上搜索了解决方案,但没有找到解决方案。 有谁知道如何解决这个问题?
【问题讨论】:
标签: eclipse linux-mint
我找到了 2 个链接来修复 eclipse 问题: http://blog.nanthrax.net/2012/07/change-tab-font-in-eclipse-juno/ https://bugs.launchpad.net/linuxmint/+bug/1168281
但工具栏图标仍然很大。至少它看起来更好。如果我找到完整的修复程序,我会编辑我的帖子。
【讨论】:
查看下一个屏幕截图,我能够找到解决此问题的好方法... https://drive.google.com/file/d/0B5XuLGzBQTGBNy10bVdxNExkclk/edit?usp=sharing
[Linux Mint 14 纳迪亚]
打开一个 shell 或探索窗口并导航到: /usr/share/themes/Mint-X/gtk-2.0/gtkrc
然后进行备份并在此处替换为此链接中的文件 https://drive.google.com/file/d/0B5XuLGzBQTGBOEVIZ19BcWhVM28/edit?usp=sharing
...这一切都是使用 CSS 属性并缩小内边距值和宽度。
(注意:我还在 CSS IDE 层面做了一些小的调整,如下:)
Windows > 首选项 > 常规 > 外观
我在所有主题上都替换了这个 CSS 条目:
/*
.MPartStack {
swt-tab-renderer: null;
swt-selected-tabs-background: #FFFFFF #ECE9D8 100%;
swt-simple: false;
swt-mru-visible: true;
}
*/
.MPartStack {
font-size: 9;
font-family: "Droid Sans";
swt-simple: false;
swt-mru-visible: false;
}
然后选择了较小的字体:
Windows > 首选项 > 常规 > 外观 > 颜色和字体
打开以显示 Java 项目并选择 Java Editor Text 字体
点击编辑并选择更小更好的字体。
玩得开心,希望对你有帮助!
【讨论】: