Closed Bug 933506 Opened 11 years ago Closed 11 years ago

Make the code mirror find functionality look nicer

Categories

(DevTools :: Source Editor, defect)

Product:
DevTools
Component:
Source Editor
Version:
28 Branch
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED DUPLICATE of bug 919703

People

(Reporter: ntim, Unassigned)

References

Details

User Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:28.0) Gecko/20100101 Firefox/28.0 (Beta/Release)
Build ID: 20131031030203

Steps to reproduce:

Find something in the Style Editor


Actual results:

Now that the developer tools have switched to code mirror, the find functionality looks like a basic command line that doesn't interact with the theme at all.


Expected results:

The find bar should look nicer and interact with the theme.
Component: Untriaged → Developer Tools: Framework
OS: Windows 8.1 → All
Hardware: x86_64 → All
Component: Developer Tools: Framework → Developer Tools: Source Editor
Blocks: 916766
Status: UNCONFIRMED → RESOLVED
Closed: 11 years ago
Resolution: --- → DUPLICATE
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.