Function isNumber

public/src/js/script.js:917–919

(n)

}
//check is the string a number
function isNumber(n) {
    return /^-?[\d.]+(?:e-?\d+)?$/.test(n);
}

//switching tabs
var refreshHide;