Cause
"Source and Target" searches within a document are stored in the history token. When a new document is loaded, the search in the history token was not updated.
Consequence
Searches within one document remain active when a new document is loaded. If the search returns no results in the new document, this can interact with a known issue in which the search box is hidden when loading a new document to make clearing of the search impossible without manipulating the URL.
Fix
"Source and Target" searches are now cleared from the history token when loading a different document.
Result
No "Source and Target" search will be active when loading a new document.
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:9.0.1) Gecko/20100101 Firefox/9.0.1
The search criteria entered into the search box in the workspace of a file does not get cleared automatically when leaving this file and opening a new one. The new file therefore also only shows messages matching the search criteria entered in the old file.
Reproducible: Always
Steps to Reproduce:
1. Open file A
2. Type in a word "something" in search box, hit enter.
3. Go back to document list
4. Open file B
Actual Results:
The search for word "something" is still active when opening file B, hence only showing messages that contain a match for this search criteria.
Expected Results:
All messages should be displayed in file B. The search should have been cleared automatically when leaving file A.
Francesco (using FF 3.1) also reported that in file B the search box is not even displayed any more (see screenshot). Hence he had no way of clearing the search criteria.
For myself (using FF 9.0.1) the search box in file B is displayed fine, showing the search criteria I entered in file A. I think the search criteria should not be carried through to the next file though.
Technical note added. If any revisions are required, please edit the "Technical Notes" field
accordingly. All revisions will be proofread by the Engineering Content Services team.
New Contents:
Cause
"Source and Target" searches within a document are stored in the history token. When a new document is loaded, the search in the history token was not updated.
Consequence
Searches within one document remain active when a new document is loaded. If the search returns no results in the new document, this can interact with a known issue in which the search box is hidden when loading a new document to make clearing of the search impossible without manipulating the URL.
Fix
"Source and Target" searches are now cleared from the history token when loading a different document.
Result
No "Source and Target" search will be active when loading a new document.