# HG changeset patch
# User ods15
# Date 1129787691 0
# Node ID 0c6f6ef27f3ff2789c5857acb4ac3a16f84f658b
# Parent  b0880e80e5a481baaae8ff9409e4a2560a7d5e4d
document hack

diff -r b0880e80e5a4 -r 0c6f6ef27f3f mencoder.c
--- a/mencoder.c	Thu Oct 20 00:08:09 2005 +0000
+++ b/mencoder.c	Thu Oct 20 05:54:51 2005 +0000
@@ -512,6 +512,8 @@
 
   vo_init_osd();
 
+  /* HACK, for some weird reason, push() has to be called twice,
+     otherwise options are not saved correctly */
   m_config_push(mconfig);
 play_next_file:
   m_config_push(mconfig);