Editor OptionsOptionsHighlightingKey assignments
Print OptionsWrap long linesLine numbersTitle in headerDate in headerPage numbers