Closed
Bug 718785
Opened 13 years ago
Closed 11 years ago
Improve the UI for the "Jump to line" feature of the Source Editor
Categories
(DevTools :: Source Editor, defect, P2)
DevTools
Source Editor
Tracking
(Not tracked)
RESOLVED
DUPLICATE
of bug 919703
People
(Reporter: msucan, Assigned: shorlander)
Details
(Whiteboard: [sourceeditor])
In bug 714942 we added the "Jump to line" command into the Source Editor - it uses a prompt to ask the user for the line number. We now need to change this UI to use something like a Find bar, less invasive than a prompt.
Comment 1•12 years ago
|
||
Moving to Source Editor component.
Filter on CHELICERAE.
Component: Developer Tools → Developer Tools: Source Editor
Updated•11 years ago
|
Status: NEW → RESOLVED
Closed: 11 years ago
Resolution: --- → DUPLICATE
Updated•6 years ago
|
Product: Firefox → DevTools
You need to log in
before you can comment on or make changes to this bug.
Description
•