Page title compatiblity with WYSIWYG API

This is on a test site with latest version of WYSIWYG API (using TinyMCE) and Drupal 6.12, using the Garland theme and Firefox 3.0.11 on Ubuntu Linux --

The paging filter is enabled within the Full HTML input format, and is configured (at admin/settings/paging) for the Page content type.

To reproduce the bug:

1. Go to admin/settings/paging -- for the "Page" content type, set the Page separator string to <hr />, and check the box next to Display Page names interface

2. Navigate to node/add/page to add a new page. Using the "horizontal rule" button add in several horizontal rules. Note that, despite the Display Page names interface being set to display, they do not display until:

3. You click the Disable rich text link provided by the WYSIWYG API, and place the cursor inside the body of the node. Then, the Page names interface is displayed, and page titles can be entered.

4. At this point, if you save the node *without* re-enabling the text editor, the custom page titles will be saved, and will display correctly. If, however, you re-enable the text editor before saving the node, the custom page titles will still be displayed on the node edit form, but they will not be saved.