diff options
author | Jeff Morriss <jeff.morriss.ws@gmail.com> | 2013-05-17 00:42:45 +0000 |
---|---|---|
committer | Jeff Morriss <jeff.morriss.ws@gmail.com> | 2013-05-17 00:42:45 +0000 |
commit | 2572f8ac1ea9dee6381dda5774efb9d5ae303c38 (patch) | |
tree | 560777eaaece460d7848036925bf016a83fe3fa0 /ui/gtk/menus.h | |
parent | 26a909d980f0e9f4ec8cdf7930583c0c861025d0 (diff) |
From Cal Turney via https://bugs.wireshark.org/bugzilla/show_bug.cgi?id=8690 :
Change "Edit" to "Rename" and add icons to "Manage Profiles..." and "Switch
to...". Update the associated widget, routine, and variable names in order
to facilitate future maintenance.
svn path=/trunk/; revision=49361
Diffstat (limited to 'ui/gtk/menus.h')
-rw-r--r-- | ui/gtk/menus.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ui/gtk/menus.h b/ui/gtk/menus.h index e33d60bb93..a56248489b 100644 --- a/ui/gtk/menus.h +++ b/ui/gtk/menus.h @@ -65,7 +65,7 @@ extern void set_menu_object_data(const gchar *path, const gchar *key, gpointer d * * @param widget the parent widget * @param event the GdkEvent - * @param data the corresponding menu + * @param data the corresponding menu */ extern gboolean popup_menu_handler(GtkWidget *widget, GdkEvent *event, gpointer data); @@ -88,7 +88,7 @@ void menus_set_column_align_default (gboolean right_justify); void menus_set_column_resolved (gboolean resolved, gboolean can_resolve); /* Fetch the statusbar profiles edit submenu */ -extern GtkWidget *menus_get_profiles_edit_menu (void); +extern GtkWidget *menus_get_profiles_rename_menu (void); /* Fetch the statusbar profiles delete submenu */ extern GtkWidget *menus_get_profiles_delete_menu (void); |