Можно ли изменить точку на значке тире (или панели) на желтый или зеленый, чтобы я мог ее видеть?
Я очень дальтоник. В частности, я просто едва могу обнаружить красный свет. На Dash есть маленькая точка (я наконец-то понял), которая указывает, что у приложения есть открытое окно или что приложение работает. Мне просто нужно иметь возможность увидеть его, не тратя десять или пятнадцать секунд, пытаясь под разными углами взглянуть и посмотреть, запущено ли уже приложение.
Ubuntu 18.04; до современных.
в обычной среде GNOME
gsettings get org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-color
даст текущий цвет
Пример:
maduri@i7-4770U:~$ gsettings get org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-color
'#0000FF'
maduri@i7-4770U:~
для установки требуемого цвета.
gsettings set org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-color "#0000FF"
для желтого или зеленого цвета вы можете заменить «# 0000FF» на «желтый» или «зеленый».
В качестве альтернативы вы можете использовать инструмент GUI dconf-editor
, как показано ниже
Примечание: dconf-editor не присутствует по умолчанию. Вы можете установить его из Центра программного обеспечения.
Вы также можете сделать точку больше:
Например, для этого запустите
gsettings list-recursively | grep running-dot
. Вы получите такой вывод:
dkb@dkb:~$ gsettings list-recursively | grep running-dot
ca.desrt.dconf-editor.Settings saved-view '/org/gnome/shell/extensions/dash-to-dock/custom-theme-running-dots-border-width'
org.gnome.shell.extensions.dash-to-dock custom-theme-customize-running-dots true
org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-border-color '#e95420'
org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-border-width 2
org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-color '#e95420'
dkb@dkb:~$
Затем откройте dconf-editor , как показано на рисунке ниже, и внесите необходимые изменения:
Гораздо проще было бы установить расширение Dash to Dock и изменить цвет, размер и стиль маркера, используя предлагаемые настройки.
Вы можете изменить настройки расширения Dash to Dock с помощью Tweaks . Если он не установлен, вы можете сделать это, запустив sudo apt install gnome-tweaks
в терминале.
После запуска твиков , перейдите к Extensions на левой боковой панели и щелкните значок шестеренки рядом с Dash для расширения док-станции. Перейдите на вкладку Внешний вид , и вы найдете опцию Настроить индикаторы счетчика окон , как показано на следующем снимке экрана.
Вы можете выбрать стиль маркера, используя раскрывающееся меню рядом с этой опцией (я использую Сегментированный ). Чтобы изменить цвет и размер маркера, щелкните значок шестеренки, включите ручку Customize style style и установите предпочитаемый цвет маркера и ширину границы. Как вы можете видеть на следующем скриншоте, я выбрал зеленый маркер с нулевой шириной границы.