It seems fast enough to use on mozilla-central (the Firefox repo), which is huge. I can't find some files, though. If I type : ctrp+p, mediaelement, it should

It seems fast enough to use on mozilla-central (the Firefox repo), which is huge. I can't find some files, though. If I type : ctrp+p, mediaelement, it should find content/html/content/src/nsHTMLMediaElement.cpp, and it does not. I tried to set the maximum depth, but it didn't work. In fact, it does not match content/html/content files. Another thing that I find annoying, is that when I remove multiple characters, it does its matching thing again, and because I type the backspace pretty fast, it kind of locks up for a second or so. Anyway, other the couple quirks mentionned, excellent plugin, works out of the box.