Patch committed in https://github.com/jpobst/Pinta/commit/0ac98a0b27cabcc1685d2a177c67dfdc9cf3e819.
Thanks for the report and the patch!
Patch committed in https:/ /github. com/jpobst/ Pinta/commit/ 0ac98a0b27cabcc 1685d2a177c67df dc9cf3e819.
Thanks for the report and the patch!