Что такое док-панель? Если вы хотя бы раз пользовались macOS, то наверняка ее видели. Вкратце — это дополнительная панель для «парковки» и оперативного доступа к часто используемым приложениям.
Для Linux существует несколько вариантов дока, от самого простого (Plank) до перенасыщенного погремушками Cairo-Dock. По уровню навороченности (и, соответственно, глючности) где-то между ними находится Docky, его еще характеризуют как продвинутый вариант Plankˈа. Вот Docky я и пользовался до недавних пор, пока не полезли «спецэффекты» — странная тень чуть выше дока через весь экран. Связано ли это с обновлением драйверов видео или самой системы, не знаю. Поскольку глюк вылез на нескольких разных конфигурациях, я решил перебираться на Plank. Виджетов поменьше, но, с другой стороны, работает как положено.
Plank в Mate Программа официально заявляет о себе: «Stupidly simple». Это хорошо, но убрать настройки с глаз долой было скорее stupidly, на мой взгляд — полная простота как-то не сочетается с необходимостью лезть в дебри конфигов. Или это у меня Unix-way не туда свернул и я не понимаю всей красоты подхода :)
Так или иначе, нашлись способы вызвать диалог настроек, оба нетривиальные. Первый — из консоли:
В результате появляется обычное окно:
Диалог настроек Plank Второй имеет хотя бы внешнее отношение к док-панели. При нажатых Ctrl и Shift кликнуть правой кнопкой мыши на док-панели. Целиться в саму панель необязательно, можно попасть в один из прикрепленных к ней значков, это тоже сработает. И мы получаем не просто диалог настроек, а целое меню приложения. Это прекрасно, вот только догадаться самостоятельно шансов никаких :) Но главное — проблема решена.
Меню Plank 