// * resize.js 0.3 970811
// * by gary smith
// * js component for "reloading page onResize"
//incluir en el <BODY> la cláusula onresize='resize()'

window.saveInnerWidth = window.innerWidth;
window.saveInnerHeight = window.innerHeight;

function resize() {
    if (saveInnerWidth < window.innerWidth ||
	saveInnerWidth > window.innerWidth ||
        saveInnerHeight > window.innerHeight || 
        saveInnerHeight > window.innerHeight){
	window.location.reload();
    }
}