How to shuffle all videos in Media Player?
 

we all know we can shuffle all songs in the media player. however, i'd like to do the same to videos as well. and i don't want to use "mplayer -shuffle" because i need hardware acceleration of the media player. is there a way to do it with a script?