Una de mis máquinas ubuntu, una netbook que ejecuta Gnome classic en Ubuntu 12.04 (32 bits), tiene un problema: no puedo cambiar el tamaño de las ventanas. Puedo desmaximizarlos y volver a maximizarlos, y los iconos de cambio de tamaño aparecen cuando coloco el puntero del mouse en los bordes, pero no puedo tomar y cambiar el tamaño de esos bordes.
Busqué en Google y descubrí que las personas con problemas como las fronteras son demasiado delgadas y difíciles de agarrar; este no es el caso aquí. Tampoco es una aplicación específica: no puedo cambiar el tamaño de ninguna ventana.
¿Qué debería mirar y arreglar? Soy desarrollador y puedo sortear un terminal sin destruir las cosas bien. Simplemente no sé por dónde empezar.
¿Algunas ideas?