Как включить автоматическое скрытие в Dash to Panel? Моя версия GNOME Shell - 3.28, а версия Dash to Panel - 9999, как сказано на странице about.
Откройте Tweaks. Перейдите к Расширениям и нажмите значок механизма рядом с Тире к Панели для открытия настроек Dash to Panel. У основания окна настроек Вы найдете опцию Panel Intellihide. Можно позволить этому сделать панель intellihide (скройтесь только при затруднении другим окном) или нажмите значок механизма для выбора другой опции сокрытия.