rem: dump("XXX SetViewFlags(" + viewFlags + ")\n"); 
context: function SetViewFlags(viewFlags){    if (!gDBView) return;    dump("XXX SetViewFlags(" + viewFlags + ")\n");    gDBView.viewFlags = viewFlags;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/977b5ce7381ad6f7ce54870d36ed14c25f11bc37/commandglue.js/clean/mailnews/base/resources/content/commandglue.js