Daniel Eklöf 44b8bd2364 generate-alt-random: wait for SIGWINCH if width/height is 0 ... If width/height (that is, the *pixel* values) are 0, that means we are early (or that foot is slow) - we’ve managed to reach this point before the foot window has been mapped. Or rather, before foot has loaded the primary fonts and calculated the cell geometry. But that, and the initial mapping of the window is tightly coupled. To handle this case, detect when width or height is 0, an then wait for SIGWINCH before trying again.		2021-04-22 10:57:43 +02:00
..
benchmark.py	scripts: benchmarking utility script	2020-05-31 12:43:03 +02:00
generate-alt-random-writes.py	generate-alt-random: wait for SIGWINCH if width/height is 0	2021-04-22 10:57:43 +02:00