Другим трюком является killall gnome-panel. Это работает главным образом для визуальных сбоев, но может также работать для компоновки.
Забавный ... Ответ на собственный вопрос кажется немного шизофреничным, но - независимо от того, что было!
Я нашел 1) причину и так, конечно, 2) решение этой проблемы.
Проблема заключалась в том, что я использовал PPA с панели запуска с несколькими расширениями Gnome-Shell. Я хотел попробовать, если эти куклы сделают новую оболочку более «сексуальной» для меня. Ничего не меняет, хотя - для меня. Из этого репозитория я установил расширение глобального меню оболочки gnome. Это было неактивно, но после его установки я сразу же нашел меню Eclipse, где он принадлежит.
Надеюсь, что если кто-то еще столкнется с такими проблемами, это поможет его решить. ..