cale_dec_down, scale_dec_y + scale_dec_down);
			context.fillStyle = "#444444";
			context.fillText("scale: " + scale.toFixed(3), buttons_x, scale_y);
			context.fillStyle = scale_inc_over ? button_high_color : button_color;
			context.fillText("[ scale * 2 ]", buttons_x + scale_inc_down, scale_inc_y + scale_inc_down);
		
			context.fillStyle = reset_xy_over ? button_high_color : button_color;
			context.fillText("[ reset x,y ]", buttons_x + reset_xy_down, reset_xy_y + reset_xy_down);
			context.fillStyle =