[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
|
From: |
lemzwerg |
|
Subject: |
Re: Issue 5578: Add a button to flip between old and new regtest images (issue 566920043 by address@hidden) |
|
Date: |
Fri, 18 Oct 2019 23:08:51 -0700 |
Very nice, thanks!
https://codereview.appspot.com/566920043/diff/581180043/scripts/build/output-distance.py
File scripts/build/output-distance.py (right):
https://codereview.appspot.com/566920043/diff/581180043/scripts/build/output-distance.py#newcode1030
scripts/build/output-distance.py:1030: open_write_file (dest_dir +
'/style.css').write('''
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.
https://codereview.appspot.com/566920043/