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)
DevTools
Console
Tracking
(Not tracked)
RESOLVED
FIXED
Firefox 13
People
(Reporter: jwalker, Assigned: jwalker)
Details
Attachments
(1 file)
2.32 KB,
patch
|
dcamp
:
review+
|
Details | Diff | Splinter Review |
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
Assignee | ||
Updated•12 years ago
|
Component: Developer Tools → Developer Tools: Console
QA Contact: developer.tools → developer.tools.console
Assignee | ||
Comment 1•12 years ago
|
||
a.k.a https://github.com/campd/gcli/pull/22
Assignee | ||
Comment 2•12 years ago
|
||
https://tbpl.mozilla.org/?tree=Try&rev=b447debd6053
Updated•12 years ago
|
Attachment #593092 -
Flags: review?(dcamp) → review+
Assignee | ||
Comment 3•12 years ago
|
||
https://tbpl.mozilla.org/?tree=Try&rev=946d867e53b4
Assignee | ||
Comment 4•12 years ago
|
||
https://tbpl.mozilla.org/?tree=Fx-Team&rev=3e9fbc7eb447
Whiteboard: [fixed-in-fx-team]
Comment 5•12 years ago
|
||
https://hg.mozilla.org/mozilla-central/rev/2c5df7e190ce
Status: ASSIGNED → RESOLVED
Closed: 12 years ago
Resolution: --- → FIXED
Whiteboard: [fixed-in-fx-team]
Updated•6 years ago
|
Product: Firefox → DevTools
You need to log in
before you can comment on or make changes to this bug.
Description
•