comment out currently unused symbols (gui_msg_OK etc.)

diff --git a/src/GUI/gui.h b/src/GUI/gui.h
index c4ec4962cc893e390c9b5683301c5b125c1ced07..1e1b4362a9b43f2dcca6b9ca0e0e2aabc705eb49 100644 (file)
--- a/src/GUI/gui.h
+++ b/src/GUI/gui.h
@@ -73,11 +73,11 @@ typedef struct {
 extern const __fg_gui_fn_t __fg_gui_fn[];
 
 // GLOBAL COMMON DIALOG BOX TEXT STRINGS
-extern const char *gui_msg_OK;     // "OK"
-extern const char *gui_msg_NO;     // "NO"
-extern const char *gui_msg_YES;    // "YES"
-extern const char *gui_msg_CANCEL; // "CANCEL"
-extern const char *gui_msg_RESET;  // "RESET"
+//extern const char *gui_msg_OK;     // "OK"
+//extern const char *gui_msg_NO;     // "NO"
+//extern const char *gui_msg_YES;    // "YES"
+//extern const char *gui_msg_CANCEL; // "CANCEL"
+//extern const char *gui_msg_RESET;  // "RESET"
 
 // mouse.cxx
 extern void guiInitMouse(int width, int height);