gnome-window-properties

Como gusto personal, prefiero que al hacer doble click en la barra de una ventana ésta se enrolle y así “estorbe” menos. Este comportamiento se modifica por medio de gnome-window-properties, el cual no podía encontrar en forma simple. Sucede que ha sido separado de control-center y colocado en control-center-extra.

Dejo este mini tip para todos aquellos que utilizan esta función y no encontraban donde cambiarla.