Implemented Ctrl+F12 to invoke the javascript "object browser".