【问题标题】:Eclipse issue with linuxmintlinuxmint 的 Eclipse 问题
【发布时间】:2013-06-26 13:10:54
【问题描述】:

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

【问题讨论】:

    标签: eclipse linux-mint


    【解决方案1】:

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

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

    【讨论】:

      【解决方案2】:

      查看下一个屏幕截图,我能够找到解决此问题的好方法... 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 字体

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

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

      【讨论】:

        猜你喜欢
        • 2011-03-15
        • 1970-01-01
        • 2012-07-09
        • 1970-01-01
        • 1970-01-01
        • 2021-01-02
        • 1970-01-01
        • 1970-01-01
        • 1970-01-01
        相关资源
        最近更新 更多