Hi Marty,
The choosen editor is saved per shortcode.
For every shortcode the editor preference is saved.
So if you use code editor for one shortcode and save it, then the preference is saved for that shortcode alone.
For other shortcodes you have to do the same.
Currently there is no global editor preference option.
Thanks,
Aakash