void draw_selection (const Selection& sel, int texture_size, GLuint sel_tex) { sel.foreach([texture_size, sel_tex](int x, int y) { draw_texture(x * texture_size, y * texture_size, sel_tex, texture_size); }); }