Что здесь происходит? Я установил расширение Dash to Dock в Ubuntu 17.10. Все было круто, и когда я пытался отточить и настроить внешний вид своего рабочего стола, в какой-то момент панель ярлыков (док?) Слева дублировалась.
(Щелкните изображение, чтобы увеличить)
Значение по умолчанию, которое обычно исчезает с Dash to Dock, находится под тем, которое обычно появляется, когда я устанавливаю Dash to Dock. Почему?
Я пытался просмотреть параметры Dash to Dock, GNOME Tweak Tool и обычные настройки Ubuntu, но не могу понять.