# HG changeset patch
# User ib
# Date 1389973117 0
# Node ID 65eb5c78f4febc90d6318c6196b00f11adbef589
# Parent  c28bad343706da48c704a79af5e157c53ac72a91
Record GUI option 'idle' in the man page.

This is missing is r33565.

diff -r c28bad343706 -r 65eb5c78f4fe DOCS/man/de/mplayer.1
--- 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
diff -r c28bad343706 -r 65eb5c78f4fe DOCS/man/en/mplayer.1
--- 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