Move editor dropdown into top navbar
Add unique id for reset profile in preferences
Merge pull request #196 from swang/move_editor_selector

Move editor dropdown into top navbar