I have no idea why both theme editors are not available.
According to the codex, WordPress contains two built-in editors that allows you to edit Theme files directly from within your browser. They are called the Theme Editor and Plugin Editor.
On a fresh install of 3.5 and update 3.5.1, neither editors show up.
What am I missing here?
Thanks in advance,