As a user, I would like the ability to modify my editor's properties. ## Acceptance Criteria * Font * Size * Tab to Space (checkbox) * Indentation Size ## Not in Scope * Syntax highlighting and themes