rem: if(width < proofreadPageWidth) image_url = proofreadPageThumbURL.replace('##WIDTH##',""+width); else 
add: if(width < proofreadPageWidth)  { self.DisplayWidth = width; self.DisplayHeight = width*proofreadPageHeight/proofreadPageWidth; image_url = proofreadPageThumbURL.replace('##WIDTH##',""+width); } else { self.DisplayWidth = proofreadPageWidth; self.DisplayHeight = proofreadPageHeight; 
context: function proofreadpage_image_url(requested_width){        if(self.proofreadPageExternalURL) {		image_url = proofreadPageExternalURL; 	}	else{		//enforce quantization: width must be multiple of 100px		width = (100*requested_width)/100;		if(width < proofreadPageWidth)  			image_url = proofreadPageThumbURL.replace('##WIDTH##',""+width); 		else 		     image_url = proofreadPageViewURL; 	}	return image_url;}
meta: 10854	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10854/cce84a9813a26d32d7015f28e6787e62ac9ae439/proofread.js/buggy/proofread.js