I think you can use the system's native time bar in VLC 2.0.2, if you go to Tools → Customize Interface, check "Native Slider" and drag "time slider", deleting the old one. Tried this but nothing changed. Okay, nothing seems not to fit the fact, it changes back to the ugly old o...