not able to resize the vlc or smplayer at the corner

[hadrons123]

Since I moved to f17 I am not able to resize the media players by dragging at the edge of the corners.

Is there a fix coming or am I missing something obvious?

[sonoran]

vlc window is resizeable here in both openbox and gnome shell. Are you using non-default theme and/or extensions?

[hadrons123]

I dont have any themes or extensions that's not default.

Now I found that the corners are not re-sizable in all the windows.

the only customization i have done is


gsettings set org.gnome.shell.overrides button-layout "close" Edit:
Now I find that corner resizing option is available only in the bottom 2 corners of every window not on the top.
I have tried using other user accounts too. No difference.
So i dont think its related to my shell overrides customization.

[jcrivera]

I have the same problem with vlc, cannot move or resize the main window; using fedora 16 64,
kernel:
Linux localhost.localdomain 3.3.5-2.fc16.x86_64 #1
SMP Tue May 8 11:24:50 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux
Video:
01:05.0 VGA compatible controller: ATI Technologies Inc RS780M/RS780MN [Radeon HD 3200 Graphics]
VLC Version:
vlc --version
VLC media player 1.1.13 The Luggage (revision exported)
Versión de VLC 1.1.13 The Luggage (exported)
Compilado por mockbuild en builder1.ovh.rpmfusion.lan (Jan 1 2012 21:38:51)
Compilador: gcc version 4.6.2 20111027 (Red Hat 4.6.2-1) (GCC)
Este programa viene SIN GARANTIA, solo a la extendida por ley.
Puede redistribuirlo bajo los términos de la Licencia Pública General GNU;
lea el archivo llamado COPYING para ver los detalles.
Escrito por el equipo VideoLAN; lea el archivo AUTHORS.

[hadrons123]

after using gnome 3.4 for a while, now I am accustomed to it.

The sensitivity is lower now at the corners, but you can still do it.