[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Issue 5578: Add a button to flip between old and new regtest images
Re: Issue 5578: Add a button to flip between old and new regtest images (issue 566920043 by address@hidden)
Fri, 18 Oct 2019 23:08:51 -0700
Very nice, thanks!
File scripts/build/output-distance.py (right):
scripts/build/output-distance.py:1030: open_write_file (dest_dir +
Wouldn't it be better/more convenient/more compact to write the CSS
stuff into the HTML file, too? Otherwise I can imagine to provide
`style.css` in the source tree, to be not generated at all.