Deze gebruiken ze bij PHPHulp.
(functie aanroepen door de id van de div mee te geven:
onClick="php_code(div_id)")
/* Alle text selecteren */
function php_code (element)
{
if (document.selection)
{
var range = document.body.createTextRange();
range.moveToElementText(element);
range.select();
}
else if (window.getSelection)
{
var range = document.createRange();
range.selectNodeContents(element);
var selection = window.getSelection();
selection.removeAllRanges();
selection.addRange(range);
}
}