Le 04/12/2021 à 10:21, jdanield (via linux-31 Mailing List) a écrit :
j'installe gnome-tweaks en ce moment, mais c'est long :-(
et ça ne semble pas répondre à la question... navré, je ne suis pas très compétent en Gnome :-( jdd -- http://dodin.org http://valeriedodin.com