Commit c809e221 authored by Jehan's avatar Jehan

app: fix "Result is not floating-point (UNINTENDED_INTEGER_DIVISION)".

See #3996.
This was a warning raised by the Coverity scan on one of the lines. I
fix also in the same time other arithmetics mixing int and double.
Better be thorough.
The specific warning was on:
> circ = 2.0 * G_PI * (private->width / 2)
where the division was integer, which was probably not intended. Of
course that error (display item only) was likely barely visible anyway,
still…
parent 204df594
Pipeline #122068 failed with stages
in 25 minutes and 32 seconds