Properties menu: boolean buttons now have "true" or "false" text.