Changeset 2018 in orxonox.OLD for orxonox/trunk/gui/orxonox_gui_exec.h
- Timestamp:
- Jun 23, 2004, 12:04:06 AM (20 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
orxonox/trunk/gui/orxonox_gui_exec.h
r1864 r2018 1 1 #ifndef _ORXONOX_GUI_EXEC_H 2 2 #define _ORXONOX_GUI_EXEC_H 3 3 4 #include "orxonox_gui.h" 5 #include <stdio.h> 6 using namespace std; 4 7 5 gint orxonox_gui_quit ( GtkWidget *widget, GdkEvent *event, gpointer data); 8 class OrxonoxGuiExec 9 { 10 private: 11 Frame* execFrame; 12 Box* execBox; 13 Button* start; 14 CheckButton* saveSettings; 15 Menu* verboseMode; 16 CheckButton* alwaysShow; 17 Button* quit; 18 char* configFile; 19 FILE* CONFIG_FILE; 20 public: 21 OrxonoxGuiExec (Window* orxonoxGUI); 22 ~OrxonoxGuiExec (); 23 24 Frame* getFrame (); 25 26 void setFilename (char* filename); 27 int shouldsave (); 28 void writeToFile (Widget* widget); 29 void writeFileText (Widget* widget); 30 void readFromFile (Widget* widget); 31 void readFileText (Widget* widget, char* variableName, int variableValue); 6 32 7 void exec_check_button_change(GtkWidget *widget, int* data); 8 GtkWidget *orxonox_gui_exec_frame (struct settings *orxonox_settings); 9 char * orxonox_flags_text (struct settings *orxonox_settings, char *exec_flags_text); 10 void orxonox_flags_update (void); 11 33 }; 12 34 #endif /* _ORXONOX_GUI_EXEC_H */
Note: See TracChangeset
for help on using the changeset viewer.