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.
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.