Closed Bug 680375 Opened 10 years ago Closed 10 years ago

Source Editor line gutter should have a bit of margin on the right.

Categories

(DevTools :: General, defect)

defect
Not set
normal

Tracking

(Not tracked)

RESOLVED FIXED
Firefox 10

People

(Reporter: cedricv, Assigned: msucan)

References

Details

(Whiteboard: [sourceeditor][orion])

Attachments

(1 file)

Attached image screenshot
It currently looks too close to the code imho and the line number text touches the separator line  (see screenshot).
Probably a 1px or 2px left/right padding is enough.
Whiteboard: [sourceeditor][orion]
This is going to be fixed by bug 692807.
This is now fixed. Bug 692807 landed.
Assignee: nobody → mihai.sucan
Status: NEW → RESOLVED
Closed: 10 years ago
Resolution: --- → FIXED
Target Milestone: --- → Firefox 10
Depends on: 692807
VERIFIED on Build identifier: Mozilla/5.0 (X11; Linux i686; rv:10.0a1) Gecko/20111107 Firefox/10.0a1
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.