3

我面临着图片中描述的相同问题:http ://dentrassi.de/wp-content/uploads/eclipse1.png?cd7ade 。基本上工具栏的大小和日食的大小是巨大而丑陋的!我已经在互联网上搜索了解决方案,但没有找到解决方法。有谁知道如何解决这个问题?

4

2 回答 2

1

我找到了 2 个链接来修复 eclipse 问题: http: //blog.nanthrax.net/2012/07/change-tab-font-in-eclipse-juno/ https://bugs.launchpad.net/linuxmint/+bug /1168281

但工具栏图标仍然很大。至少它看起来更好。如果我找到完整的修复程序,我将编辑我的帖子。

于 2013-06-29T13:19:50.657 回答
0

我能够为这个问题找到一个很好的解决方案,看看下一个截图...... 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 字体

单击编辑并选择更小更好的字体。

玩得开心,希望对你有帮助!

于 2014-01-20T05:37:37.327 回答