diff m_option.h @ 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 97446d4850cc
children
line wrap: on
line diff