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

RESOLVED FIXED in Firefox 10

Status

()

Firefox
Developer Tools
RESOLVED FIXED
6 years ago
6 years ago

People

(Reporter: cedricv, Assigned: msucan)

Tracking

unspecified
Firefox 10
Points:
---

Firefox Tracking Flags

(Not tracked)

Details

(Whiteboard: [sourceeditor][orion])

Attachments

(1 attachment)

(Reporter)

Description

6 years ago
Created attachment 554334 [details]
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.
see also bug 678995.
(Assignee)

Updated

6 years ago
Whiteboard: [sourceeditor][orion]
(Assignee)

Comment 2

6 years ago
This is going to be fixed by bug 692807.
(Assignee)

Comment 3

6 years ago
This is now fixed. Bug 692807 landed.
Assignee: nobody → mihai.sucan
Status: NEW → RESOLVED
Last Resolved: 6 years ago
Resolution: --- → FIXED
Target Milestone: --- → Firefox 10
(Assignee)

Updated

6 years ago
Depends on: 692807
VERIFIED on Build identifier: Mozilla/5.0 (X11; Linux i686; rv:10.0a1) Gecko/20111107 Firefox/10.0a1
You need to log in before you can comment on or make changes to this bug.