Я столкнулся с той же проблемой, описанной на картинке: http://dentrassi.de/wp-content/uploads/eclipse1.png?cd7ade. В основном размер панелей инструментов и размер затмения огромен и уродливы! Я искал в Интернете решение, но я не нашел исправления. Кто-нибудь знает, как это можно исправить?Проблема с Eclipse с linuxmint
Я нашел 2 ссылки, чтобы исправить затмение вопрос: 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 Nadia]
Открыть оболочки или исследовать окно и перейдите к: /usr/share/themes/Mint-X/gtk-2.0/gtkrc
Затем сделайте резервную копию и заменить файл в этой ссылке здесь https://drive.google.com/file/d/0B5XuLGzBQTGBOEVIZ19BcWhVM28/edit?usp=sharing
... все это имело смысл играть со свойствами CSS и уменьшать значения заполнения и ширины.
(Примечание: Я также сделал несколько небольших настраивает на уровне IDE CSS следующим образом :)
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-редактор. Текстовый шрифт
Нажмите «Изменить» и выберите более мелкий шрифт.
Удачи, надеюсь, что это поможет!