rem: EchoWebCore.EventProcessor.add(element, "selectstart", EchoWebCore.EventProcessor._selectionDenialHandler, false); 
add: if (EchoWebCore.Environment.PROPRIETARY_EVENT_SELECT_START_SUPPORTED) { EchoWebCore.EventProcessor.add(element, "selectstart", EchoWebCore.EventProcessor._selectionDenialHandler, false); } 
context: EchoWebCore.EventProcessor.addSelectionDenialListener = function(element) {    EchoWebCore.EventProcessor.add(element, "mousedown", EchoWebCore.EventProcessor._selectionDenialHandler, false);    EchoWebCore.EventProcessor.add(element, "selectstart", EchoWebCore.EventProcessor._selectionDenialHandler, false);};
meta: 600	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/600/96ce258a275deff918deac9b3210f8b053d55e97/WebCore.js/clean/src/webcontainer/java/nextapp/echo/webcontainer/resource/js/WebCore.js