Измените настройку Dash на Dock в Ubuntu 18.10 [дубликат]

Я использую док-станцию ​​Ubuntu по умолчанию с нижним расположением, а для параметра org.gnome.shell.extensions.dash-to-dock extend-height установлено значение false. В Ubuntu 18.10 это вызывает заметный визуальный сбой, обратите внимание на черные пустые пространства по краям док-станции:

Я получаю это как на обновленной системе, так и при чистой установке внутри виртуальной машины. Это нормально работало в Ubuntu 18.04. Также происходит, если в качестве темы задано что-то другое, кроме Yaru (тема по умолчанию в Ubuntu 18.10). Перезагрузка не помогает. Док-станция выглядит нормально, если включена функция расширения по высоте.

Есть идеи, как это исправить?