void change_style(Line_style s) { lines.set_style(s); }
void change_style(Line_style l) {lines.set_style(l);redraw();};