Linux Mint 20 Ulyana + Eclipse IDE for EE Java Dev 2020-12 (v.4.18.0)
Не работает запуск в консоли по ctrl+f11.
Другие горячие клавиши работают.
От раскладки не зависит.
Решения не нашел.
Как пофиксить?
UPD: благодаря
Василий Банников в процессе выяснилось, что в Eclipse не работают никакие сочетания с функциональными клавишами, хотя оные работают, как таковые, в системе.
После смены окружения с XFCE на Cinnamon проблема исчезла. В чем она заключалась, непонятно. Какие-то XFCE-шные баги...