added switchable ruler markings to editor
Merge pull request #2896 from Mailaender/editor-ruler

Added switchable ruler markings to editor