Большинство параметров в свойствах mate-panel напрямую связаны в редакторе dconf с
/org/mate/panel/toplevels/top/ resp. /bottom/
Например, изменение размера дает мгновенную обратную связь с любой стороны .
Что я не могу найти, так это соответствующее значение dconf для AutoHide. Нигде не найти.
Его можно изменить из командной строки. (И это дает желаемый эффект.) - Почему редактор dconf не показывает этого?
$> dconf write /org/mate/panel/toplevels/bottom/auto-hide true
$> dconf write /org/mate/panel/toplevels/bottom/auto-hide false
Это, кажется, проблема с Вашей версией Ubuntu, Вашей установкой ПОМОЩНИКА или Вашим Редактором Dconf. Это - ПОМОЩНИК 1.16.0 на Ubuntu 16.10 с Редактором Dconf 3.20.3.
Для меня, auto-hide
ключ присутствует в dconf-editor
.