Bug: 4.0d Beta 3: Deleting highlighting palette leaves empty AllText field in Search

Rosie Perera

1. Create a new highlighting palette and create one style in it
2. Apply that style to some text in some resource
3. Do a Basic Search through Entire Library (just so it takes long enough to do the next step) for that highlighting style.
4. Before the search is complete, close the Search panel.   (This step is the key!)
5. Delete the entire palette that you just created in Step 1.
6. Now open a new Search panel.

Result: The "AllText" field is null:

Melissa Snyder

Report submitted. Thank you.

Update:  This will be fixed in Beta 4.