add:  document.getElementById("addSynonym").setAttribute("style", "display: none") document.getElementById("removeSynonym").setAttribute("style", "display: none")   
context: function EntryDeselected(){  document.getElementById("removeEntry").setAttribute("disabled", "true")  document.getElementById("addSynonym").setAttribute("disabled", "true")}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e468143d32bd851d870f62f3ac8241eafdc793df/WalletEditor.js/buggy/extensions/wallet/editor/WalletEditor.js