Nascondere automaticamente il dock copre le icone del desktop

13

Come in questa domanda , ho scoperto che quando ho impostato "Impostazioni -> Dock -> Nascondi automaticamente il Dock" su "On", il dock copre quasi completamente la colonna più a sinistra delle icone del desktop:

Questo rende molto difficile vedere o selezionare quelle icone. (Posso trascinarli manualmente da sotto il dock, ma ad esempio facendo clic su "organizza icone per nome" o modificando le impostazioni di nascondimento automatico del dock, le si sposta di nuovo sotto di esso.)

A differenza dell'OP per la domanda collegata, la cui soluzione preferita è quella di nascondere il dock quando non ci sono finestre che lo coprono, preferirei che le icone fossero predefinite in posizioni che non sono coperte dal dock, come fanno quando il dock non è impostato per nascondere automaticamente. C'è un modo per fare questo?

— tparker
fonte

Domanda secondaria e mini-rant: perché mai questo bug non è stato catturato prima del rilascio? Ci sono solo tre opzioni di personalizzazione del dock abilitate nella GUI delle impostazioni predefinite e una di queste è completamente rotta! Non è la motivazione principale per consentire al dock di essere nascosto automaticamente in modo che le persone possano utilizzare quel desktop immobiliare?

— tparker,

4

La risposta attuale è che non puoi. Questo è un bug noto dal 17.10, https://bugs.launchpad.net/ubuntu/+source/gnome-shell-extension-ubuntu-dock/+bug/1723117

Quindi non è davvero caduto attraverso le crepe, non c'è nessuno che sia assegnato a risolvere perché la cosa più importante sulla versione desktop di Ubuntu al momento è limitare la quantità di risorse utilizzate su di essa. (cioè soldi

— Doug
fonte

A mio avviso, questo è in realtà un bug piuttosto grave: rompe completamente l'opzione "nascondi automaticamente il dock", che è piuttosto importante. Non è del tutto così male se si spegne intellihide come nella risposta alla domanda collegata, ma ancora piuttosto male.

— tparker,

0

Non direi che ciò è dovuto alla rimozione canonica delle risorse dal desktop, come afferma un'altra risposta. Dopotutto, l'estensione dash-to-dock è sviluppata in modo indipendente e utilizzata anche in altre distribuzioni (ad esempio, Manjaro).

Apparentemente, il problema non può essere risolto a livello di estensione ( https://github.com/micheleg/dash-to-dock/issues/17 ). Quindi non è così facile da risolvere senza modifiche a monte, e a monte hanno già deciso contro le icone del desktop, quindi ...

OTOH, probabilmente Intellihide (il comportamento attuale) è meglio dell'autohide per Ubuntu, anche con il bug. IMO, Ubuntu dovrebbe rimuovere per sempre l'estensione dell'icona del desktop.

Direi: basta spostare il dock in basso o a destra (quindi non è vero che il bug interrompe completamente la funzione Intellihide, come afferma un commento).

— memeplex
fonte