Есть ли способ сделать так, чтобы маленькие оранжевые точки по бокам дока указывали, находится ли приложение в текущем рабочем пространстве или в другом? Если, например, два экземпляра Firefox были открыты в разных рабочих пространствах одновременно, одна точка должна быть оранжевой, а другая серой.
В настоящее время я использую компромисс, полностью изолируя рабочие пространства согласно этому описанию:Отдельные рабочие пространства в Ubuntu 18.04 Desktop; однако это тоже не идеал, поскольку представляет собой другую крайность.
Есть ли простые решения?
Поведение, которое я ищу, на самом деле было режимом по умолчанию в Ubuntu 16.04 (Unity). Вместо точек использовались тонкие треугольники:пример-изображения-старого-поведения-док-станции
решение1
К сожалению, нет. В настоящее время нет возможности разрешить маркеру запущенных окон иметь другой цвет, если окно не находится на текущем рабочем пространстве. Ubuntu Dock основан на расширении Gnome Shell "Dash to Dock". Подача запроса на функцию разработчикам может заставить их рассмотреть возможность добавления этой функции.