Hi, tried dxr as replacement for lxr yesterday and today and it does not seem to work for me. Whatever I type into the searchbox the results is just an empty "This page was generated by DXR ."?
https://dxr.mozilla.org/mozilla-central/search?q=voice&redirect=true Displaying source like https://dxr.mozilla.org/mozilla-central/source/mobile/android/modules/Prompt.jsm works but does not provide any xref links?? Richard -- Name and OpenPGP keys available from pgp key servers _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
