static void activate_play(GtkMenuItem attribute((unused)) *menuitem,
gpointer attribute((unused)) user_data) {
char **tracks = gather_selected(0);
static void activate_play(GtkMenuItem attribute((unused)) *menuitem,
gpointer attribute((unused)) user_data) {
char **tracks = gather_selected(0);