rem: document.getElementById("addSynonym").setAttribute("style", "display: none") document.getElementById("removeSynonym").setAttribute("style", "display: none") 
context: function EntryDeselected(){  // hide buttons next to synonym tree  document.getElementById("addSynonym").setAttribute("style", "display: none")  document.getElementById("removeSynonym").setAttribute("style", "display: none")  // disable certain buttons  document.getElementById("removeEntry").setAttribute("disabled", "true")  document.getElementById("addSynonym").setAttribute("disabled", "true")}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/77e939d1b914e7a053aa5a0fbf148dd28acb6097/WalletEditor.js/buggy/extensions/wallet/editor/WalletEditor.js