Merci pour ta réponse éclair
ft
je ne trouve pas Gnome Tweaks.
J'ai été dans les Applis, tapé, derrière la loupe, "Gnome Tweaks"
réponse "no result" ??
j'ai alors essayé
sudo apt-get install gnome-tweaks --> impossible de trouver le paquet
puis à tout hasard, par analogie avec unity-tweaks-tool
sudo apt-get install gnome-tweaks-tool --> impossible de trouver le paquet
Comme ceci n'a pas marché, je ne puis lancer, depuis Tweaks, "
Dash to Dock"
Quant à touche Alt dans FF, ça baigne, merci
Si tu arrives à m'aider pour tweaks, j'aurai fait un grand pas !!!
