No matches were found for subject:"\[Gimp\-user\] change ruler from pixels to inches, but not in gimprc"