if (selected_paths.size() == 0 or selected.size() > 0) {
glColor4f(1.0, 0.0, 0.0, 1.0);
} else {
glColor4f(1.0, 0.7, 0.7, 0.4);
}
} else {
if (selected_paths.size() == 0 or selected.size() > 0) {
glColor4f(1.0, 0.0, 0.0, 1.0);
} else {
glColor4f(1.0, 0.7, 0.7, 0.4);
}
} else {