comparison gui/interface.c @ 33309:733376438418

Declare parameter type for guiExit() more precisely. This is possible now that guiExit() isn't longer called by guiDone() with parameter DONE.

33308:0c2f2368a031

#include "libmpcodecs/vd.h"
#include "libmpcodecs/vf.h"
#include "libvo/video_out.h"
#include "libvo/x11_common.h"
#include "mixer.h"
#include "mp_core.h"
#include "mp_msg.h"
#include "mpcommon.h"
#include "mplayer.h"
#include "path.h"
#include "sub/font_load.h"

        m_config_free(gui_conf);
        gui_conf = NULL;
    }
}

void guiExit(int how)
{
    exit_player_with_rc(how, how >= EXIT_ERROR);
}

void guiLoadFont(void)

33309:733376438418

#include "libmpcodecs/vd.h"
#include "libmpcodecs/vf.h"
#include "libvo/video_out.h"
#include "libvo/x11_common.h"
#include "mixer.h"
#include "mp_msg.h"
#include "mpcommon.h"
#include "mplayer.h"
#include "path.h"
#include "sub/font_load.h"

        m_config_free(gui_conf);
        gui_conf = NULL;
    }
}

void guiExit(enum exit_reason how)
{
    exit_player_with_rc(how, how >= EXIT_ERROR);
}

void guiLoadFont(void)