The default refresh rate of osdmenu is 200 ms with a 15s timeout. The update is neede...

[vlc] / debian / vlc.menu

?package(vlc):command="/usr/bin/vlc" hotkey="V" needs="X11" \
              section="Apps/Viewers" title="VLC media player" \
              icon="/usr/share/vlc/vlc.xpm" hints="Video"