annotate debian/mplayer-doc.doc-base.hu @ 34081:66c5a04a5c32

Fix cursor autohide functionality of the GUI. There will only be calls to wsEvents() (through GUI_HANDLE_X_EVENT in x11_common.c) which handles the cursor autohide, if there are X events pending - which during normal playback isn't the case. If you happen to have configured option use-filename-title, then there will be periodical XStoreName() calls which trigger X events that keep calling GUI_HANDLE_X_EVENT as a side effect. To ensure recurring calls to the cursor autohide code in any case it has been made a separate function which is called through GUI_HANDLE_EVENTS now. GUI_HANDLE_EVENTS is periodically called by MPlayer. Additionally, only show cursor in wsEvents() (and thereby enable autohide) if it previously was hidden.
author ib
date Sat, 01 Oct 2011 15:09:09 +0000
parents c9f9a077d760
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
31833
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
1 Document: mplayer-hu
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
2 Title: MPlayer documentation (Hungarian)
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
3 Author: The MPlayer team
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
4 Abstract: This documentation describes the use of MPlayer. (Hungarian)
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
5 MPlayer is a movie player for GNU/Linux that supports a wide
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
6 range of audio and video formats, and output drivers.
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
7 Section: Sound
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
8
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
9 Format: HTML
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
10 Index: /usr/share/doc/mplayer-doc/HTML/hu/index.html
c9f9a077d760 Add new debian packaging based on official distro packages
siretart
parents:
diff changeset
11 Files: /usr/share/doc/mplayer-doc/HTML/hu/*.html