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: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/e9569eb18e50e06de729cba194fc4b9418c48865/venkman-commands.js/clean/extensions/venkman/resources/content/venkman-commands.js