For anyone else ending up here, there is a PR in the GitHub repo for this problem, addressing the issue. From 2015, and it is still not merged in 2019.
https://github.com/PintaProject/Pinta/pull/105
For anyone else ending up here, there is a PR in the GitHub repo for this problem, addressing the issue. From 2015, and it is still not merged in 2019.
https:/ /github. com/PintaProjec t/Pinta/ pull/105