* SUMMARY Reload after Global Search results in empty Resources Sidebar. * STEPS TO REPRODUCE 1. Inspect webkit.org 2. Global Search "div" (Shift+Cmd+F) 3. Reload (Cmd+R) => Resources sidebar is empty * NOTES - Ideas: a. clear the search b. re-perform the search after page load c. keep the search term, but go back to the non-search Resource tree outline I like (c). If the user wants to search again, they can, and their search term is saved.
<rdar://problem/20117303>
Created attachment 248402 [details] [PATCH] Proposed Fix
Comment on attachment 248402 [details] [PATCH] Proposed Fix Clearing flags on attachment: 248402 Committed r181388: <http://trac.webkit.org/changeset/181388>
All reviewed patches have been landed. Closing bug.
Re-opened since this is blocked by bug 142580