guiv - 2023-06-05

Hi. I would also consider this a bug: one can reasonably expect "pause" and "stop" buttons to behave differently.
I've implemented a fix in this fork, since it seems there is no more dev activity here.
Installable builds are available for Linux, Windows, MacOs and Android.
Note: "pause" feature was already working fine in Android..