Remove display of command line options in GUI mode

The information message was manually edited, which creates synchronization
problems now that we are using argp to manage our options.

diff --git a/src/common/options.h b/src/common/options.h
index 731689d..b4c5bac 100644 (file)
--- a/src/common/options.h
+++ b/src/common/options.h
@@ -25,12 +25,6 @@
 
 #define PACKAGE_DESCRIPTION "Emulator for 8051 family microcontrollers"
 
-#define COMMAND_LINE_OPTIONS \
-  "Usage: " PACKAGE " [OPTION]... [FILENAME]\n" \
-  "Simulator/emulator for 8051 family microcontrollers.\n\n" \
-  "  -h                    display this help and exit\n" \
-  "  -version              display version information and exit\n"
-
 struct options_t {
        int pram_size; /* Maximum program memory size. */
        int iram_size; /* Maximum internal ram size. */

diff --git a/src/gtk/helpmenu.c b/src/gtk/helpmenu.c
index 50ddd4a..aa8e413 100644 (file)
--- a/src/gtk/helpmenu.c
+++ b/src/gtk/helpmenu.c
@@ -39,15 +39,6 @@
 #include "messagebox.h"
 #include "helpmenu.h"
 
-static void
-HelpCommandsEvent(gchar *string)
-{
-       (void) string; /* Remove compiler warning about unused variables. */
-
-       ShowMessage("Command Line Options", COMMAND_LINE_OPTIONS,
-                   GTK_JUSTIFY_LEFT, MESSAGE_DIALOG_FIXED_FONT);
-}
-
 static void
 HelpAboutEvent(GtkWidget *widget, gpointer data)
 {
@@ -102,14 +93,6 @@ HelpAddMenu(GtkWidget *menu_bar)
 
        menu = gtk_menu_new();
 
-       /* Create the 'Help Command Line Options' item. */
-       item = gtk_menu_item_new_with_label("Command Line Options");
-       gtk_menu_shell_append(GTK_MENU_SHELL(menu), item);
-       /* Attach the callback functions to the activate signal. */
-       g_signal_connect(item, "activate", G_CALLBACK(HelpCommandsEvent), NULL);
-
-       AddMenuSeparator(menu);
-
        /* Create the 'Help About' item. */
        item = gtk_menu_item_new_with_label("About " PACKAGE);
        gtk_menu_shell_append(GTK_MENU_SHELL(menu), item);