Date in headerPage numbersGeneral options	Word wrapOverride wrappingAuto indent	Smart tabWord selectSyntax highlightBlock indent step sizeWord wrap columnVisible right marginVisible gutterRight marginGutter widthCurrent language style