source: orxonox.OLD/orxonox/trunk/gui/orxonox_gui_exec.h @ 2613

/*!
  \file orxonox_gui_exec.h
  \brief File that holds the class that creates the execute-Options.
*/

#ifndef _ORXONOX_GUI_EXEC_H
#define _ORXONOX_GUI_EXEC_H

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

//! Class that creates the execute-Options.
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 ();
  
  Widget* getWidget ();
  
  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);

};
  gint startOrxonox (GtkWidget *widget, Widget* data);

#endif /* _ORXONOX_GUI_EXEC_H */