Wie kann ich die Farbe der Markierung auf dem Bindestrich ändern, die anzeigt, dass eine Anwendung aktiv ist?

Ist es möglich, den Punkt auf dem Dash- (oder Dock-) Symbol in Gelb oder Grün zu ändern, damit ich ihn sehen kann?

Ich bin sehr farbenblind. Insbesondere kann ich rotes Licht einfach kaum erkennen. Auf dem Dash befindet sich ein kleiner Punkt (der mir endlich klar wurde), der anzeigt, dass für eine Anwendung ein Fenster geöffnet ist oder dass die Anwendung ausgeführt wird. Ich muss es nur sehen können, ohne zehn oder fünfzehn Sekunden damit zu verbringen, verschiedene Blickwinkel auszuprobieren und zu starren, um festzustellen, ob eine Anwendung bereits ausgeführt wird.

Ubuntu 18.04; auf dem neusten Stand.

in normaler GNOME-Umgebung

gsettings get org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-color

wird die gegenwärtige Farbe geben

Beispiel:

maduri@i7-4770U:~$ gsettings get org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-color
'#0000FF'
maduri@i7-4770U:~

um die gewünschte Farbe einzustellen ..

gsettings set org.gnome.shell.extensions.dash-to-dock custom-theme-running-dots-color "#0000FF"

Für gelbe oder grüne Farbe können Sie "# 0000FF" durch "gelb" oder "grün" ersetzen.

Alternativ können Sie das GUI-Tool dconf-editorwie unten verwenden

Hinweis: Der dconf-Editor ist standardmäßig nicht vorhanden. Sie können es über das Software Center installieren.

Sie können den Punkt auch vergrößern:

Zum Beispiel, um dies zu tun

gsettings list-recursively | grep running-dot

Sie erhalten folgende Ausgabe:

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:~$ 

Öffnen Sie dann den dconf-Editor wie im Bild unten und nehmen Sie die gewünschte Änderung vor:

Eine viel einfachere Möglichkeit wäre, die Dash to Dock- Erweiterung zu installieren und die Farbe, Größe und den Stil des Markers mithilfe der angebotenen Einstellungen zu ändern.

Sie können die Einstellungen für die Dash-Dock- Erweiterung über Tweaks ändern . Wenn Sie es nicht installiert haben, können Sie dies tun, indem Sie es sudo apt install gnome-tweaksim Terminal ausführen.

Gehen Sie nach dem Ausführen von Tweaks zu Erweiterungen in der linken Leiste und klicken Sie auf das Zahnradsymbol neben Dash, um die Erweiterung anzudocken. Navigieren Sie zur Registerkarte Darstellung, und Sie finden die Option Windows-Zähleranzeigen anpassen (siehe folgenden Screenshot).

Sie können den Stil des Markers über das Dropdown-Menü neben dieser Option auswählen (ich verwende Segmentiert ). Um die Farbe und Größe des Markers zu ändern, klicken Sie auf das Zahnradsymbol, aktivieren Sie den Knopf zum Anpassen des Indikatorstils und stellen Sie Ihre bevorzugte Markerfarbe und Randbreite ein. Wie Sie im nächsten Screenshot sehen können, habe ich eine grüne Markierung mit einer Randbreite von Null ausgewählt.