Imagen de Mestizo
0 puntos
+1
+2
-1

Si eres como yo, es decir, de los que no entienden porqué en el Gnome-Tweak-Tool desapareció la posibilidad de cambiar el tema del borde de la ventana, la cuestión tiene fácil solución:

En la terminal, escribe:

$ cd /usr/share/pyshared/gtweak/
$ sudo gedit gsettings.py

E inserta estas líneas antes de la línea 37:

if schema_name == "org.gnome.desktop.wm.preferences":
    schema_filename = schema_name + ".gschema.xml"

Ahora, la cosa debería quedar así: