0 Вопрос: Огромная вкладка и заполнение значков в Eclipse 4.11 в Ubuntu 19.04

вопрос создан в Wed, May 8, 2019 12:00 AM

При запуске новой установки Eclipse для новой установки последней Ubuntu вы увидите следующее:

 (скриншот следует)

Для справки, это гораздо более компактное представление - это то, на что я привык смотреть на компьютере с Windows:

 введите описание изображения здесь

Есть несколько связанных вопросов и ответов для более старых версий Eclipse, которые можно разделить на две категории:

  1. "Примените дизайнерское исправление на уровне GTK2. Если Eclipse использует GTK3, вместо этого заставьте его использовать GTK2."

  2. "Применить исправление дизайна с помощью CSS."

Теперь, по моему опыту с Eclipse 4.11, он же "2019-03" ...

  1. Я не могу больше использовать GTK2 . С ./eclipse --launcher.GTK_version 2 я получаю:
  

Средство запуска Eclipse (...) больше не поддерживает работу с GTK + 2.x. Продолжая использовать GTK + 3.x.

  1. CSS-хаки на plugins/org.eclipse.ui.themes.../css/e4_default_gtk.css не имеют никакого эффекта. Я много пытался отредактировать этот файл, но, похоже, он ничего не делал.

Итак, мой вопрос: что мне нужно сделать, чтобы избавиться от этих космических отходов? И в целом, каков назначенный способ настройки параметров проектирования с помощью новых версий Eclipse? Есть также слово плагина редактора CSS для самого Eclipse, но он, похоже, заброшен.

Я буду собирать ссылки на другие вопросы, связанные с проблемами графического интерфейса Eclipse:

Согласно этому поток , поддержка GTK2 была прервана в Eclipse 4.10 или 2018-12.

    
0
  1. Я не понимаю вопроса, вы можете изменить размеры панелей, и Eclipse запомнит это. OTH, для чего конкретно нужны хаки?
    2019-05-08 23: 59: 31Z
  2. @ LuisMuñoz Я не говорю об панелях, я хочу уменьшить используемое пространство вкладок Eclipse. Вы знаете, вкладки, как в веб-браузере, ср. википедия . Дескрипторы, с помощью которых вы выбираете одну из нескольких панелей или подокна.
    2019-05-09 08: 05: 26Z
  3. Просто снимок в темноте, сравните разрешение экрана для обеих ОС.
    2019-05-09 16: 00: 16Z
0 ответов                              0                         
источник размещен Вот