13/01/2020, 11:43
non ho nessuna certezza :027: ma forse il tool è Unity Tweak Tool ?? stavo cercando sul web una immagine simile a quella che hai messo per capire, credo però si tratti di qualche ppa che avevi aggiunto o di una qualche estensione se avevi gnome 
Antonio... sarai sempre nei nostri cuori 