From ff643bede11e48b365dc3c8090b80e8f89ab6e9a Mon Sep 17 00:00:00 2001
From: Hugo Villeneuve <hugo@hugovil.com>
Date: Thu, 23 Jan 2014 19:45:14 -0500
Subject: [PATCH] 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 |  6 ------
 src/gtk/helpmenu.c   | 17 -----------------
 2 files changed, 23 deletions(-)

diff --git a/src/common/options.h b/src/common/options.h
index 731689d..b4c5bac 100644
--- 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
--- 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);
-- 
2.20.1