Closed Bug 988461 Opened 12 years ago Closed 12 years ago

Expose Editor preferences

Categories

(DevTools :: Source Editor, defect)

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

Tracking

(Not tracked)

Status:
RESOLVED DUPLICATE of bug 964356

People

(Reporter: canuckistani, Unassigned)

References

Details

We should expose a reasonable set of preferences for the editor to users that apply globally to uses of codemirror in the tools.
OS: Mac OS X → All
Hardware: x86 → All
Version: 30 Branch → Trunk
Status: NEW → RESOLVED
Closed: 12 years ago
Resolution: --- → DUPLICATE
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.