Mi sono fatto l’idea che mantenendo tutti i settaggi predefiniti il passaggio da tema chiaro a tema scuro funziona bene. Già cambiando anche solamente le icone (per esempio le “paper”) iniziano i malfunzionamenti: qt e gtk diverse, simboli per mimimizzare e massimizzare le finestre che spariscono nei prg con librerie qt. Poi cambiando tema, ottengo i difetti descritti in precedenza. In sostanza solo i temi previsti dagli sviluppatori funzionano bene, mentre gli altri probabilmente necessitano di aggiornamenti. Ho provato ad esempio una live di F31 gnome ed ho installato il tema paper in questo modo:
su -c "dnf -y copr enable user501254/Paper && dnf -y install paper-gtk-theme paper-icon-theme"
Ed ho riscontrato che i prg che utilizzano le librerie qt, hanno la barra del titolo chiara nonostante il tema paper l’abbia grigio scuro. A questo punto escluderei un problema della mia installazione.