Very happy now :)
Erik Rose <mailto:[email protected]>
Tuesday, February 11, 2014 14:50
I believe this is fixed now, a casualty of a needless use of JS, which
is now gone. If you still see this behavior, please reopen
https://bugzilla.mozilla.org/show_bug.cgi?id=965659.
Thanks for riding out the bumps!
Erik
Taras Glek <mailto:[email protected]>
Friday, February 7, 2014 14:42
that's pretty, but where did the list of classes & class members go
when viewing files like
http://dxr.mozilla.org/mozilla-central/source/modules/libjar/nsZipArchive.cpp
----- Original Message -----
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis
Erik Rose <mailto:[email protected]>
Friday, February 7, 2014 13:26
https://blog.mozilla.org/webdev/2014/02/07/dxr-gets-a-huge-ui-refresh/
Happy hacking!
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis
_______________________________________________
dev-platform mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-platform
