Content deleted Content added
mNo edit summary |
mNo edit summary |
||
(9 intermediate revisions by the same user not shown) | |||
Line 9:
if(debug) console.log("Running");
// Add key handler.
window.addEventListener("keydown", e =>
{
{
});▼
▲ if(e.ctrlKey && e.altKey && e.which == 82)
{▼
▲ }
function run()
Line 31 ⟶ 25:
if(debug) console.log("Activate");
if(
{
rc_refsCrunched = uncrunchRefs();
}
else
{
rc_refsCrunched = crunchRefs();
}
}
Line 52 ⟶ 42:
var counter = 0;
text = text.replace(/(<ref.*?\/>)|(<ref.*?>(.|\s)*?<\/ref>)/g,
{
if(debug) console.log(match);
return `
});
txtarea.value = text;
return true;
}
Line 70 ⟶ 62:
var text = txtarea.value;
text = text.replace(/
{
if(debug) console.log(match);
return
});
Line 80 ⟶ 72:
txtarea.value = text;
return false;
}
});
|