I've merged those changes in https://github.com/PintaProject/Pinta/commit/456790b6bc4e5ae860161fcda92392b8f7c4dd38
I've merged those changes in https:/ /github. com/PintaProjec t/Pinta/ commit/ 456790b6bc4e5ae 860161fcda92392 b8f7c4dd38