Reading a variable set in an ISR, or using millis() for time within while loop?

I thought I had tried all the logical things

Except
for using
Tools + Auto Format
so your
code
doesn't
look like it was
typed by a drunken monkey.