/* Called when the "Export" dialog box is created and when the selected count changes.  */
static void color_set_export_selected_sensitive(GtkWidget *cfselect_cb)
/* Called when the "Export" dialog box is created and when the selected count changes.  */
static void color_set_export_selected_sensitive(GtkWidget *cfselect_cb)
{
  if (color_selected_count() != 0)
    gtk_widget_set_sensitive(cfselect_cb, TRUE);
  else {
    color_selected = FALSE;
    gtk_toggle_button_set_active(GTK_TOGGLE_BUTTON(cfselect_cb), FALSE);
    gtk_widget_set_sensitive(cfselect_cb, FALSE);
  }
}