• [^] # Re: Pour changer la place du dock

    Posté par . En réponse au journal Un site d'extensions pour GNOME-shell. Évalué à 3.

    Oui, un coup de dconf-editor et c'est bon. Par contre, je trouve dommage que c'est un dock en plus et pas le même que celui en mode aperçu.

    Article Quarante-Deux : Toute personne dépassant un kilomètre de haut doit quitter le Tribunal. -- Le Roi de Cœur