Re: Any alternative in F12 for /usr/bin/gnome-window-properties?