rem: document.getElementById("button-icon-pan").image="chrome: 
add: document.getElementById("toolbar-pan").collapsed=false; 
context: function BrowserPanRefresh() {  if(gBrowser.contentWindow.gInPan) {    document.getElementById("button-icon-pan").image="chrome://minimo/skin/extensions/icon-pan-toggle.png";  } else {    document.getElementById("button-icon-pan").image="chrome://minimo/skin/extensions/icon-pan.png";  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/eaf79e9e72d52c5bb403cd2a17dd01cd80650805/minimo.js/clean/minimo/chrome/content/minimo.js