function doAjax(postValue) {
//document.getElementById('ajaxPut').innerHTML = "
";
// Obtener la instancia del objeto XMLHttpRequest (ajax)
conexion = new XMLHttpRequest();
// Preparar la funcion de respuesta
conexion.onreadystatechange = ajaxresponse; //Cuando el ajax sea procesado y suceda algo, se ejecuta esta funcion
// Realizar peticion HTTP
conexion.open('POST', '/');
conexion.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");
conexion.send(postValue); //Las variables a mandar, en este caso POST
}
newFilter=false;
function ajaxresponse(){
if(conexion.readyState == 4){ //Esto es para que cambie cuando haya respuesta, que no es en todos los momentos
o++;
var ajaxPut = document.getElementById('ajaxPut');
if(newFilter){
newFilter=false;
ajaxPut.innerHTML = conexion.responseText; //Pondra todo lo devuelto por "file" (Que sera un php que de //echos dependiendo de lo enviado) en un div
}else{
if($("#end").length == 0)
ajaxPut.innerHTML = ajaxPut.innerHTML+conexion.responseText;
}
}
reHightlight();
}
function reHightlight(){
var codebox = document.getElementsByClassName("toHightlight");
for(var i=0;i= $(document).height() - $(window).height() - 10) {
getAjax();
}
});
//From https://stackoverflow.com/questions/35297919/javascript-select-all-text-inside-a-pre-code-block-on-double-click
window.onload = function(){
document.body.addEventListener('dblclick', function(e){
var target = e.target || e.srcElement;
if (target.className.indexOf("highlight") !== -1 || target.parentNode.className.indexOf("highlight") !== -1){
var range, selection;
if (document.body.createTextRange) {
range = document.body.createTextRange();
range.moveToElementText(target);
range.select();
} else if (window.getSelection) {
selection = window.getSelection();
range = document.createRange();
range.selectNodeContents(target);
selection.removeAllRanges();
selection.addRange(range);
}
e.stopPropagation();
}
});
};