Issue 4826: Changing the ID of a node in HTML Panel doesn't update Element Path

Steps to reproduce

  1. Open Firebug
  2. Switch to the HTML panel
  3. Inspect the blue <div> above (#testnode)
  4. Click the id attribute's value (testnode)) to start inline editing
  5. Type foo
  6. Click somewhere outside the inline editor to stop inline editing
    ⇒ Inside the Element Path the node should be shown as div#foo.
  7. Click section#content inside the Element Path
    ⇒ The <section> node (#content) should be selected inside the HTML panel.
  8. Click the id attribute's value (foo)) to start inline editing
  9. Type bar
  10. Click somewhere outside the inline editor to stop inline editing
    ⇒ Inside the Element Path the node should be shown as div#bar.

Expected result