예제 #1
0
		void change_style(Line_style s) { lines.set_style(s); }
예제 #2
0
	void change_style(Line_style l) {lines.set_style(l);redraw();};