Yes...annoying. It's in the main html as an embedded script:
function nocontext(e) {
return false;
}
document.oncontextmenu = nocontext;