Navigation Problems in WMV files (VLC = 0.9.8a, OS = Win2000) First of all: damned fine work you've already achieved, developers! Best player out there. Well, the problems don't occur with AVI (e.g. XVID) files. There, everything is fine. With a WMV file (video = WMV3, audio = WMA2), I experience th...