#ifndef _ORXONOX_GUI_EXEC_H
#define _ORXONOX_GUI_EXEC_H

#include "orxonox_gui.h"
#include <stdio.h>
using namespace std;

class OrxonoxGuiExec
{
 private:
  Frame* execFrame;
  Box* execBox;
  Button* start;
  CheckButton* saveSettings;
  Menu* verboseMode;
  CheckButton* alwaysShow;
  Button* quit;
  char* configFile;
  FILE* CONFIG_FILE;
 public:
  OrxonoxGuiExec (Window* orxonoxGUI);
  ~OrxonoxGuiExec ();
  
  Frame* getFrame ();
  
  void setFilename (char* filename);
  int shouldsave ();
  void writeToFile (Widget* widget);
  void writeFileText (Widget* widget);
  void readFromFile (Widget* widget);
  void readFileText (Widget* widget, char* variableName, int variableValue);

};
#endif /* _ORXONOX_GUI_EXEC_H */