PintaProject/Pinta — pull request #20 by jpobst (2012-05-03 22:24:45+00:00)
Title: Minor fixes

A few small fixes. See commits for details.