The cursor theme just needs to be updated on mouse in/out events. Otherwise, if it is explicitly hidden by something else, it will become visible again after another mouse move event. SVN revision: 78970