#ifndef _ORXONOX_GUI_VIDEO_H
#define _ORXONOX_GUI_VIDEO_H

#include "orxonox_gui.h"

void video_option_change(GtkWidget *widget, int * data);
GtkWidget *orxonox_gui_video_frame (struct settings *orxonox_settings);

#endif /* _ORXONOX_GUI_VIDEO_H */