add: refreshBookmarks(); 
context: function BrowserBookmarkThis() {    var currentURI=getBrowser().selectedBrowser.webNavigation.currentURI.spec;    var newLi=gBookmarksDoc.createElement("li");    var bmContent=gBookmarksDoc.createTextNode(currentURI);    newLi.appendChild(bmContent);    gBookmarksDoc.getElementsByTagName("bm")[0].appendChild(newLi);    storeBookmarks();	}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/1a52e39efa1836506ef381c86474eab03b83cc56/minimo.js/buggy/minimo/chrome/content/minimo.js