> Why are you double spacing the output and then "fixing" it by hard-coding .7 > line spacing for the source and 1.4 for the line numbers?
That was weird. Nobody knew why. Fixed now: https://github.com/mozilla/dxr/commit/16784204ce30c428cc3e325d7f5ccd225346bfdf. This also makes copying and pasting code decent. Also went over the rest of that area for things that looked hacky and cleaned them up: https://github.com/mozilla/dxr/commit/3de9a9c7190de30be4e6ca551d625512bc6b1161. Cheers, Erik _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
