// img_scaling():
// setzt img_scale auf das Value der select-id.

function img_scaling(sel_id, res_id){
	var el = document.getElementById(sel_id);
	var el2 = document.getElementById(res_id);
	var el3 = document.getElementById('corner_tl');
	var el4 = document.getElementById('corner_br');

	img_scale = parseInt(el.value);
	img_new_size_resizer();

	var w = Math.round(org_res_w * img_scale / 100);
	var h = Math.round(org_res_h * img_scale / 100);
	
	min_top = Math.round(min_top / img_scale_before * img_scale);
	min_left = Math.round(min_left / img_scale_before * img_scale);
	max_top = Math.round(max_top / img_scale_before * img_scale);
	max_left = Math.round(max_left / img_scale_before * img_scale);

	el2.style.width = w + "px";
	el2.style.height = h + "px";

	// ehemalige Position rausrechnen, dann neu setzen
	var left3 = Math.round(tl_pos[0] * img_scale / 100);
	var left4 = Math.round(br_pos[0] * img_scale / 100);
	var top3 = Math.round(tl_pos[1] * img_scale / 100);
	var top4 = Math.round(br_pos[1] * img_scale / 100);
	
	// Skalierung wegen zu grossem Maus-Sprung (anderenfalls) sichern.
	el3.style.left = (left3) + "px";
	el3.style.top = (top3) + "px";
	el4.style.left = (left4) + "px";
	el4.style.top = (top4) + "px";

	dpos[0] = mpos[0];
	dpos[1] = mpos[1];

	img_scale_before = img_scale;
	res_info();
}
