From: Hugo Villeneuve Date: Fri, 24 Jan 2014 00:45:14 +0000 (-0500) Subject: Remove display of command line options in GUI mode X-Git-Tag: v2.0.1~43 X-Git-Url: http://gitweb.hugovil.com/?p=emu8051.git;a=commitdiff_plain;h=ff643bede11e48b365dc3c8090b80e8f89ab6e9a 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 --- 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);