void commands_grep_cb(GtkWidget *widget, gpointer data);