/* Pop-up windows for screenshot display. */
var imgWindow;
function showImg (img, w, h) {
w+=10; h+=10;
imgWindow = window.open('','auctex_screenshot','height='+h+',width='+w+','+
'resizable=0,location=0,menubar=0,toolbar=0,'+
'directories=0,scrollbars=0,status=0');
w-=10; h-=10;
doc = imgWindow.document;
doc.write('\n'+
'\n'+
'\n'+
'\n'+
'AUCTeX screenshot\n'+
'\n'+
'\n'+
'\n'+
'\n'+
'\n'+
'\n');
doc.close();
imgWindow.focus();
}