add: if (!IsEditorContentHTML()) {  gFormatToolbar.setAttribute("hidden", "true");   gEditModeBar.setAttribute("hidden", "true");  DisableItem("cmd_viewFormatToolbar", true); DisableItem("cmd_viewEditModeToolbar", true); }  
context: function EditorInitToolbars(){  // Nothing to do now, but we might want some state updating here}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/172a2ac866ff3ff6357f72de4b43fec4af7dae98/editor.js/buggy/editor/ui/composer/content/editor.js