I use all those tools as well, but I have yet to get Venkman working in Firefox. I have to use Mozilla to get it working. Is there some newer version out or something?
you know. It took me forever to get it working in .93. I found like 3 different versions, one in a bugzilla thread, I don't even know which one I installed. Now I'm running 1.0PR (on top of .93), and I remember selecting "Developer Tools" during Custom Install, and I don't know if it came with it or not.
Basically I tried like 5 different things, none of it worked, then one day, bam. it shows up under the Tools Menu and works great. I'll look into it.
ok. I currently have Venkman 0.9.84, and it's available here:
http://update.mozilla.org/extensions/moreinfo.php?id=216&vid=512
and here:
http://www.extensionsmirror.nl/extfirefox/Venkman_0.9.84.xpi