Ubuntu 19.10... pixelsaver estaba funcionando, pero ahora no; reinstalar no funciona

Ubuntu 19.10... pixelsaver estaba funcionando, pero ahora no; reinstalar no funciona

Sólo he estado usando Ubuntu durante un par de semanas.

La cantidad de espacio desperdiciado en la parte superior de algunas ventanas es casi cómica, pero me doy cuenta de que se debe en gran medida a los desarrolladores. Por ejemplo, Chrome y Microsoft Teams hacen un gran uso del espacio. Firefox y Visual Studio Code... ¡uf!

Al intentar resolver esto, encontré una respuesta aquí que sugería gnome-shell-extension-pixelsaver. Funcionó muy bien durante varios días. Entonces dejé de trabajar ayer. Lo intenté sudo apt purge gnome-shell-extension-pixelsavery luego lo reinstalé. Reiniciar, etc. No lo soluciona.

yo también lo intenténo-title-bary también se aseguró x11-utilsde que estuviera instalado. Tampoco hace nada.

No he realizado ningún cambio en el sistema, por lo que me sorprende que simplemente dejara de funcionar.

¿Algunas sugerencias para resolver esto?

EDITAR - 27/03/20

Terminé reformateando por un par de razones, siendo ésta una de ellas.

Usé esta extensión en el reformateo limpio:

https://github.com/pixel-saver/pixel-saver

Nuevamente... funciona durante unos días y luego deja de funcionar. Reinstalarlo no hace nada.

Respuesta1

obtenga el editor dconf y vaya a org->gnome->terminal->legacy->headerbar configurado en falso. Luego puede usar la extensión unir para, por ejemplo, eliminar las barras de título cuando están en mosaico o cuando el terminal ocupa toda la pantalla.

Pero experimento algunos fallos con las sombras detrás del terminal al hacer esto. Quizás no lo hagas. Por ahora no hay otras soluciones.

información relacionada