rem: console.sourceView.prettyPrint = !console.sourceView.prettyPrint; if (console.sourceView.details) cmdFindScript({scriptRec: console.sourceView.details}); 
add: setPrettyPrintState(!console.sourceView.prettyPrint); 
context: function cmdPPrint (e){    console.sourceView.prettyPrint = !console.sourceView.prettyPrint;    if (console.sourceView.details)        cmdFindScript({scriptRec: console.sourceView.details});            return true;}
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/ee3e81c9eee0bf8794a2af998756d3a96e8053ee/venkman-commands.js/buggy/extensions/venkman/resources/content/venkman-commands.js