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.

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. */

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);