Record GUI option 'idle' in the man page.
This is missing is r33565.
| author |
ib |
| date |
Fri, 17 Jan 2014 15:38:37 +0000 |
| parents |
c28bad343706 |
| children |
36820f219892 |
| files |
DOCS/man/de/mplayer.1 DOCS/man/en/mplayer.1 |
| diffstat |
2 files changed, 4 insertions(+), 0 deletions(-)
[+]
|
line diff
--- a/DOCS/man/de/mplayer.1 Fri Jan 17 15:25:21 2014 +0000
+++ b/DOCS/man/de/mplayer.1 Fri Jan 17 15:38:37 2014 +0000
@@ -667,6 +667,8 @@
.RB ( subfont-text-scale ") (nur mit FreeType),"
gui_skin
.RB ( skin ),
+idle
+.RB ( idle ),
osd_level
.RB ( osdlevel ),
softvol
--- a/DOCS/man/en/mplayer.1 Fri Jan 17 15:25:21 2014 +0000
+++ b/DOCS/man/en/mplayer.1 Fri Jan 17 15:38:37 2014 +0000
@@ -651,6 +651,8 @@
.RB ( subfont-text-scale ") (FreeType only),"
gui_skin
.RB ( skin ),
+idle
+.RB ( idle ),
osd_level
.RB ( osdlevel ),
softvol
