Menu for the editor margin.