Closed Bug 721729 Opened 12 years ago Closed 12 years ago

GCLI failed to update page resources when page changes

Categories

(DevTools :: Console, defect, P2)

defect

Tracking

(Not tracked)

RESOLVED FIXED
Firefox 13

People

(Reporter: jwalker, Assigned: jwalker)

Details

Attachments

(1 file)

STR:
0. configure a page tool like the edit command
1. visit page A
2. open gcli enabled web console
3. visit page B
4. use page tool
5. note that resources belong to page A not page B
Component: Developer Tools → Developer Tools: Console
QA Contact: developer.tools → developer.tools.console
Attached patch upload 1Splinter Review
a.k.a https://github.com/campd/gcli/pull/22
Assignee: nobody → jwalker
Status: NEW → ASSIGNED
Attachment #593092 - Flags: review?(dcamp)
Attachment #593092 - Flags: review?(dcamp) → review+
https://tbpl.mozilla.org/?tree=Fx-Team&rev=3e9fbc7eb447
Whiteboard: [fixed-in-fx-team]
https://hg.mozilla.org/mozilla-central/rev/2c5df7e190ce
Status: ASSIGNED → RESOLVED
Closed: 12 years ago
Resolution: --- → FIXED
Whiteboard: [fixed-in-fx-team]
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.

Attachment

General

Created:
Updated:
Size: