Я хотел бы знать, каковы возможные способы использования единственного HUD (Heads Up Display) на Ubuntu 18.04, предпочтительно с оболочкой gnome по умолчанию.
by HUD Я имею в виду доступ и поиск элементов меню (не приложений или файлов!) при нажатии (и отпускании) alt.
расширение gnome или сторонние приложения, работающие в 18.04?
Здесь уже есть обсуждение. Но это менее специфично, так как я ищу решение Ubuntu 18.04 (с оболочкой Gnome).
некоторые из указанных решений:
plotinus кажется многообещающим, но работает только с приложениями GTK +. Gnome Global Application Menu (HUD для Gnome), комментарии говорят, что он не работает в 18.04, хотя последний комментарий (с 06.05.18) говорит, что последняя версия, если она установлена вручную из github, должна работать в 18.04. (Я был бы признателен за подробную инструкцию о том, как установить расширение вручную)