add: getBrowser().selectedTab.setAttribute("selectedTabURL",uri); 
context: function loadURI(uri){  getWebNavigation().loadURI(uri, nsIWebNavigation.LOAD_FLAGS_NONE, null, null, null);}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/b0a3408bf1579c62ebc60d21b66d333c3a10ef53/minimo.js/clean/embedding/minimo/chrome/content/minimo.js