view etc/mplayer48x48.png @ 36929:582dd379524b

Fix bug with disappearing mouse pointer in playbar. Since r34119 vo_mouse_autohide no longer has an effect. The GUI is in control of the mouse pointer's visibility by itself now.
author ib
date Wed, 19 Mar 2014 14:21:50 +0000
parents 6c6fb701fa8e
children
line wrap: on
line source

(binary:image/png)