ho provato, ma niente da fare.
penso che sia una soluzione buona per gnome-shell, ma non per cinnamon.
anche perchè io quella voce non ce l'avevo proprio tra le disponibili.
cmq faccio qualche altra ricerca!
penso che sia una soluzione buona per gnome-shell, ma non per cinnamon.
Ok, io comunque intendevo in generale. Vedendo che c'è una "impostazione" di Gnome3 per cambiare la gestione delle modal dialog ... magari c'è qualcosa di simile/equivalente per un altro desktop environment.