PHP Code/Filtered HTML/Full HTML setting disappears but is still in effect

Under /admin/setting/preferences/display you can select the WYSIWYG editor.

One of the WYSIWYG selections is Drupal Default Editor and under that selection (ONLY!) there are three sub-selections that appear in a drop-down box: PHP Code, Filtered HTML, and Full HTML.

Let's say you (for example) choose Drupal Default Editor and then PHP Code and submit the form.

Now you go back later and choose TinyMCE. Now the options for PHP Code, Filtered HTML, and Full HTML disappear. You choose submit.

If you go back to any of the pages where the text editor is used (civicontribute pages, events pages, etc), you will find that the text entry areas are still set on "PHP Code" and you have a plain HTML text editor available rather than WYSIWYG/TinyMCE.

When you go back to the Display Preferences page there doesn't appear to be any way to fix the problem because the drop down box with those options is hidden.

The only way to fix the problem is temporarily choose "Drupal Default Editor" again and then the three options show up and you can choose the one you want.

BTW my suggested solution to this is to leave the PHP Code, Filtered HTML, and Full HTML options available no matter which WYSIWYG editor you choose, because those are helpful options that are sometimes needed. However you might need to add a note explaining that (for instance) TinyMCE + PHP Code will leave you with a plain text editor rather than TinyMCE because that is what is compatible with PHP Code.

I suggest leaving the three options visible, however, because otherwise most people will never twiddle with the options enough to realize the PHP Code is even an option, since it is invisible most of the time.

Another possibility would be to gray out the PHP Code, Filtered HTML, and Full HTML selection when not applicable, so at least people would know it is a possible available solution if they choose the right WYSIWYG selection.

This is under CCRM 4.2 and Drupal 6.