The user should also be able to choose whether measure repeat signs "%" are used in PDF exports, and should default to the user's current setting.