rem: if (target && target.localName == "margin") 
add: if (target && target.localName == "margin" && event.button == 0) 
context: function s2v_sourceclick (event){    var source2View = console.views.source2;    if (!source2View.tabs)        return;        var sourceTab = source2View.sourceTabList[source2View.tabs.selectedIndex];    var sourceText = sourceTab.sourceText;        if (!("onMarginClick" in sourceText))        return;    var target = event.target;    while (target)    {        if (target.localName == "margin")            break;        target = target.parentNode;    }        if (target && target.localName == "margin")    {        var line = parseInt (target.nextSibling.firstChild.data);        sourceText.onMarginClick (event, line);    }}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/6a86b5a4f4dd0cda1562cde0b9b65d1f2dbda5d7/venkman-views.js/clean/extensions/venkman/resources/content/venkman-views.js