# HG changeset patch
# User ib
# Date 1359160483 0
# Node ID 98693cc5df480c65c4d983f5375166811ca1bb1b
# Parent  6a7be705643bea2225f4f36a2907486770dea79b
Exit GUI if we can't return to the skin we started with.

If there are errors in both the selected skin and the skin
we started with, there's nothing we can do but exit.

diff -r 6a7be705643b -r 98693cc5df48 gui/ui/actions.c
--- a/gui/ui/actions.c	Sat Jan 26 00:17:08 2013 +0000
+++ b/gui/ui/actions.c	Sat Jan 26 00:34:43 2013 +0000
@@ -597,8 +597,8 @@
 
     if (skinRead(name) != 0) {
         if (skinRead(skinName) != 0) {
-            mainVisible = True;
-            return;
+            gmp_msg(MSGT_GPLAYER, MSGL_FATAL, MSGTR_SKIN_SKINCFG_SkinCfgError, skinName);
+            mplayer(MPLAYER_EXIT_GUI, EXIT_ERROR, 0);
         }
     }