TISTUD-5544 Remove the option to apply editor theme to views
  - Remove the invasive editor font and applying theme to views options from pref page
  - Remove pref keys
  - Remove the dead code resulting from options being removed
Merge pull request #133 from sgtcoolguy/TISTUD-5544

TISTUD-5544 Remove the option to apply editor theme to views