Flash Player is a browser plugin, as far as I know there is no Flash Player in the editors. All the editors do is help you with the markup to embed Flash.
If there is a menu related to a Flash movie, the menu is also in the Flash. Often there may be a Flash video, but there is another Flash that is the video player and this is what provides the video buttons like play, pause, stop, etc aka a menu, none of that comes from the editor.
If all else fails you can directly edit the embed code in source view, the editor may not be able to always setup parameters or initialization scripts used with Flash, to get exactly what you want you may need to code it by hand in source view.
Hope that helps,