Das automatische Ausblenden des Docks deckt die Desktopsymbole ab

13

Wie in dieser Frage festgestellt, wenn ich "Einstellungen -> Dock -> Dock automatisch ausblenden" auf "Ein" stelle , deckt das Dock die äußerste linke Spalte der Desktopsymbole fast vollständig ab:

Bildbeschreibung hier eingeben

Dies macht es sehr schwierig, diese Symbole zu sehen oder auszuwählen. (Ich kann sie manuell aus dem Dock ziehen, aber wenn ich dann z. B. auf "Symbole nach Namen anordnen" klicke oder die Einstellungen für das automatische Ausblenden des Docks ändere, werden sie wieder darunter verschoben.)

Im Gegensatz zum OP für die verknüpfte Frage, deren bevorzugte Lösung darin besteht, das Dock auszublenden, wenn es keine Fenster gibt, die es verdecken, würde ich bevorzugen, dass die Symbole standardmäßig an Stellen angezeigt werden, die nicht vom Dock abgedeckt werden, wie dies bei nicht eingestelltem Dock der Fall ist automatisch verstecken. Gibt es eine Möglichkeit, dies zu tun?

18.04 icons gnome-shell ubuntu-dock autohide tparker
quelle
Sekundäre Frage und Mini-Rant: Warum um alles in der Welt wurde dieser Bug nicht vor der Veröffentlichung gefangen? In der Standardeinstellungen-Benutzeroberfläche sind nur drei Dockanpassungsoptionen aktiviert, und eine davon ist vollständig defekt! Ist das nicht die Hauptmotivation dafür, dass das Dock automatisch ausgeblendet wird, damit die Benutzer diese Desktop-Immobilien nutzen können?
Tparker

Antworten:

4

Die aktuelle Antwort lautet: Sie können nicht. Dies ist ein bekannter Fehler seit 17.10, https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1723117

Also sind wir nicht wirklich durch die Brüche gegangen, es gibt keinen ATM, der repariert werden soll, da das Wichtigste an der Desktop-Version von Ubuntu derzeit darin besteht, die Menge der dafür verwendeten Ressourcen zu begrenzen. (dh Geld

doug
quelle
Meiner Meinung nach ist dies tatsächlich ein ziemlich schwerwiegender Fehler - er bricht die Option "Dock automatisch ausblenden" vollständig ab, was ziemlich wichtig ist. Es ist nicht ganz so schlimm, wenn Sie Intellihide ausschalten wie in der Antwort auf die verknüpfte Frage, aber immer noch ziemlich schlimm.
Tparker
0

Ich würde nicht sagen, dass dies darauf zurückzuführen ist, dass Canonical Ressourcen vom Desktop entfernt, wie eine andere Antwort angibt. Schließlich wird die Dash-to-Dock-Erweiterung unabhängig entwickelt und auch in anderen Distributionen (z. B. Manjaro) verwendet.

Anscheinend kann das Problem nicht auf der Erweiterungsebene gelöst werden ( https://github.com/micheleg/dash-to-dock/issues/17 ). Es ist also nicht so einfach, das Problem zu beheben, ohne Änderungen im Upstream vorzunehmen, und im Upstream haben sie sich bereits gegen Desktopsymbole entschieden, also ...

OTOH, wahrscheinlich intellihide (das aktuelle Verhalten) ist besser als autohide für Ubuntu, auch mit dem Bug. IMO, Ubuntu sollte die Desktop-Icon-Erweiterung irgendwann endgültig entfernen.

Ich würde sagen: Bewegen Sie einfach Ihr Dock nach unten oder rechts (es ist also nicht wahr, dass der Fehler die Intellihide-Funktion vollständig zerstört, wie es in einigen Kommentaren heißt).

memeplex
quelle