rem: setPrettyPrintState(!console.sourceView.prettyPrint); 
add: var state, params;  if (e.toggle != null) { e.toggle = getToggle (e.toggle, console.prefs["prettyprint"]); console.prefs["prettyprint"] = e.toggle;  var tb = document.getElementById("maintoolbar:toggle-pprint"); if (e.toggle) { tb.setAttribute("state", "true"); } else { tb.removeAttribute("state"); }  if ("currentDetails" in console && console.currentDetails instanceof ScriptWrapper) { dispatch ("find-script", { scriptWrapper: console.currentDetails }); } }  feedback (e, getMsg(MSN_FMT_PPRINT, console.prefs["prettyprint"] ? MSG_VAL_ON : MSG_VAL_OFF));  
context: function cmdPPrint (e){    setPrettyPrintState(!console.sourceView.prettyPrint);    return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/c253059afafb09ee6b27e3767bb1e487e050ba0f/venkman-commands.js/clean/extensions/venkman/resources/content/venkman-commands.js