Make Preferences option in plugin tray menu available on all platforms.
This commit is contained in:
parent
b6c4cfa2a3
commit
97bf0de016
|
@ -512,6 +512,7 @@ tray_check_hide (GtkWidget *menu)
|
||||||
|
|
||||||
return G_SOURCE_CONTINUE;
|
return G_SOURCE_CONTINUE;
|
||||||
}
|
}
|
||||||
|
#endif
|
||||||
|
|
||||||
static void
|
static void
|
||||||
tray_menu_settings (GtkWidget * wid, gpointer none)
|
tray_menu_settings (GtkWidget * wid, gpointer none)
|
||||||
|
@ -519,7 +520,6 @@ tray_menu_settings (GtkWidget * wid, gpointer none)
|
||||||
extern void setup_open (void);
|
extern void setup_open (void);
|
||||||
setup_open ();
|
setup_open ();
|
||||||
}
|
}
|
||||||
#endif
|
|
||||||
|
|
||||||
static void
|
static void
|
||||||
tray_menu_cb (GtkWidget *widget, guint button, guint time, gpointer userdata)
|
tray_menu_cb (GtkWidget *widget, guint button, guint time, gpointer userdata)
|
||||||
|
@ -568,10 +568,9 @@ tray_menu_cb (GtkWidget *widget, guint button, guint time, gpointer userdata)
|
||||||
gtk_widget_set_sensitive (item, FALSE);
|
gtk_widget_set_sensitive (item, FALSE);
|
||||||
|
|
||||||
menu_add_plugin_items (menu, "\x5$TRAY", NULL);
|
menu_add_plugin_items (menu, "\x5$TRAY", NULL);
|
||||||
#ifdef WIN32
|
|
||||||
tray_make_item (menu, NULL, tray_menu_quit_cb, NULL);
|
tray_make_item (menu, NULL, tray_menu_quit_cb, NULL);
|
||||||
mg_create_icon_item (_("_Preferences"), GTK_STOCK_PREFERENCES, menu, tray_menu_settings, NULL);
|
mg_create_icon_item (_("_Preferences"), GTK_STOCK_PREFERENCES, menu, tray_menu_settings, NULL);
|
||||||
#endif
|
|
||||||
tray_make_item (menu, NULL, tray_menu_quit_cb, NULL);
|
tray_make_item (menu, NULL, tray_menu_quit_cb, NULL);
|
||||||
mg_create_icon_item (_("_Quit"), GTK_STOCK_QUIT, menu, tray_menu_quit_cb, NULL);
|
mg_create_icon_item (_("_Quit"), GTK_STOCK_QUIT, menu, tray_menu_quit_cb, NULL);
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue