changeset 33308:0c2f2368a031

Cosmetic: Adjust indent.
author ib
date Sat, 07 May 2011 15:34:10 +0000
parents 552f1f7731c8
children 733376438418
files gui/interface.c
diffstat 1 files changed, 14 insertions(+), 14 deletions(-) [+]
line wrap: on
line diff
--- a/gui/interface.c	Sat May 07 15:30:14 2011 +0000
+++ b/gui/interface.c	Sat May 07 15:34:10 2011 +0000
@@ -384,26 +384,26 @@
 void guiDone(void)
 {
     if (initialized) {
-    mplMainRender = 0;
+        mplMainRender = 0;
 
-    mp_msg(MSGT_GPLAYER, MSGL_V, "[GUI] done.\n");
+        mp_msg(MSGT_GPLAYER, MSGL_V, "[GUI] done.\n");
 
-    if (gui_save_pos) {
-        gui_main_pos_x = appMPlayer.mainWindow.X;
-        gui_main_pos_y = appMPlayer.mainWindow.Y;
-        gui_sub_pos_x  = appMPlayer.subWindow.X;
-        gui_sub_pos_y  = appMPlayer.subWindow.Y;
-    }
+        if (gui_save_pos) {
+            gui_main_pos_x = appMPlayer.mainWindow.X;
+            gui_main_pos_y = appMPlayer.mainWindow.Y;
+            gui_sub_pos_x  = appMPlayer.subWindow.X;
+            gui_sub_pos_y  = appMPlayer.subWindow.Y;
+        }
 
 #ifdef CONFIG_ASS
-    ass_enabled       = gtkASS.enabled;
-    ass_use_margins   = gtkASS.use_margins;
-    ass_top_margin    = gtkASS.top_margin;
-    ass_bottom_margin = gtkASS.bottom_margin;
+        ass_enabled       = gtkASS.enabled;
+        ass_use_margins   = gtkASS.use_margins;
+        ass_top_margin    = gtkASS.top_margin;
+        ass_bottom_margin = gtkASS.bottom_margin;
 #endif
 
-    cfg_write();
-    wsXDone();
+        cfg_write();
+        wsXDone();
     }
 
     appFreeStruct();