0. Navigate to http://webkit.org 1. Open Web Inspector 2. Switch to Elements panel 3. Double-click on any element (e.g. <div id="title" ...>") 4. Edit attribute (e.g. add an attribute) 5. Press Enter 6. Observe that the element tag is replaced with whitespace. 7. Hover mouse over where the tag used to be -- observe it's visible again.
Created attachment 154678 [details] Patch
Comment on attachment 154678 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=154678&action=review > Source/WebCore/inspector/front-end/ElementsTreeOutline.js:2041 > + var hidePanelWhileUpdating = this._recentlyModifiedNodes.length > 10; Please extract a const here.
Comment on attachment 154678 [details] Patch Clearing flags on attachment: 154678 Committed r124007: <http://trac.webkit.org/changeset/124007>
All reviewed patches have been landed. Closing bug.