Eu tive o mesmo problema. Atualizar a Pinta para uma versão mais nova hoje resolveu isso para mim.
sudo apt-get update
sudo apt-get install pinta
Acabei de instalar o Pinta para basicamente cortar uma captura de tela (por que o Ubuntu não vem com uma ferramenta simples de edição de imagem ?!), mas para minha vida não posso descobrir como recortar uma imagem para uma seleção adequada. O que estou fazendo é usar a ferramenta de seleção de retângulo, selecionando a área que quero recortar e, em seguida, pressionando "Recortar para seleção".
As culturas de imagem, mas não é cortada a seleção que fiz. Se eu fizer a seleção bem pequena, a Pinta lançará uma exceção.
Estou fazendo esta simples tarefa errada? Ou isso é um bug?
Eu tive o mesmo problema. Atualizar a Pinta para uma versão mais nova hoje resolveu isso para mim.
sudo apt-get update
sudo apt-get install pinta