diff libmpdemux/demuxer.h @ 35801:98693cc5df48

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.
author ib
date Sat, 26 Jan 2013 00:34:43 +0000
parents 092c40fbd33d
children 68794f2fbf1e
line wrap: on
line diff