add: this.gridHeaderMouseOver = EventManager_gridHeaderMouseOver; this.gridHeaderMouseOut = EventManager_gridHeaderMouseOut; 
context: function EventManager() {       //int document events    document.onmousedown=EventManager_documentMouseDown;    document.onmouseup=EventManager_documentMouseUp;    document.onmousemove=EventManager_documentMouseMove;    document.onkeydown=EventManager_keyDown;    document.onkeyup=EventManager_keyUp;	this.gridHeaderClick = EventManager_gridHeaderClick;    this.assetDoubleClick = EventManager_assetDoubleClick;    this.assetRightClick = EventManager_assetRightClick;    this.assetMouseDown = EventManager_assetMouseDown; }
meta: 5314	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5314/a287beda581ad770ba404ab9ce82a83f514aaf40/EventManager.js/buggy/www/extras/assetManager/EventManager.js