let
disable_selection () =
JSOO
.eval
"document.onmousedown = function() {return false;}"