}
/* Main menu plumbing ------------------------------------------------------ */
static int choose_properties_sensitive(GtkWidget attribute((unused)) *w) {
}
/* Main menu plumbing ------------------------------------------------------ */
static int choose_properties_sensitive(GtkWidget attribute((unused)) *w) {