var w = document.getElementById("main-window"); ItsAllText.debug('mouse: use_context',event.screenX,event.screenY); 
    var clickfun = function(event) {        var use_context  = event.ctrlKey || event.altKey;        var use_cutpaste = event.shiftKey;        if (use_context) {            var w = document.getElementById("main-window");            ItsAllText.debug('mouse: use_context',event.screenX,event.screenY);            var target = ItsAllText.rebuildOptionMenu(cache_object.uid);            target.showPopup(w, event.screenX, event.screenY,                             "popup", null, null);        } else if(use_cutpaste) {            ItsAllText.debug('mouse: use_cutpaste');        } else {            // @todo [7] Store the last used extension and reuse it.            cache_object.edit('.txt');        }        event.stopPropagation();        return false;    };
4040	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4040/031f625337e67204c1cb2dd2f69bc903953c2ba9/cacheobj.js/clean/chrome/content/cacheobj.js