extern bool firstload;
extern float leveltime;
+extern float wonleveltime;
extern float loadtime;
extern Model hawk;
void LoadScreenTexture();
void LoadingScreen();
int DrawGLScene(StereoSide side);
-void LoadMenu();
void playdialoguescenesound();
int findClosestPlayer();
void Loadlevel(int which);
int checkcollide(XYZ startpoint, XYZ endpoint, int what);
void fireSound(int sound = fireendsound);
-void setKeySelected();
void inputText(std::string& str, unsigned* charselected);
void flash(float amount = 1, int delay = 1);
-enum optionIndex { UNKNOWN, HELP, FULLSCREEN, NOMOUSEGRAB, SOUND, OPENALINFO, SHOWRESOLUTIONS, DEBUG };
+enum optionIndex { UNKNOWN, HELP, FULLSCREEN, NOMOUSEGRAB, SOUND, OPENALINFO, SHOWRESOLUTIONS, DEVTOOLS };
/* Number of options + 1 */
const int commandLineOptionsNumber = 9;