comparison widgets/WidgetScale.h @ 1614:c6f5c822b10d

Fix potential divide-by-zero (depending on a race elsewhere)
author Chris Cannam
date Tue, 30 Jun 2020 10:56:56 +0100
parents e7c9650e74a7
children
comparison
equal deleted inserted replaced
1613:fe9a643b83bf 1614:c6f5c822b10d