const max_barrio_zoom = 16;
let editing = false;