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

RESOLVED FIXED in Firefox 10

Status

RESOLVED FIXED
7 years ago
5 months ago

People

(Reporter: cedricv, Assigned: msucan)

Tracking

unspecified
Firefox 10

Firefox Tracking Flags

(Not tracked)

Details

(Whiteboard: [sourceeditor][orion])

Attachments

(1 attachment)

(Reporter)

Description

7 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

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

Comment 2

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

Comment 3

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

Updated

7 years ago
Depends on: 692807
VERIFIED on Build identifier: Mozilla/5.0 (X11; Linux i686; rv:10.0a1) Gecko/20111107 Firefox/10.0a1

Updated

5 months ago
Product: Firefox → DevTools
You need to log in before you can comment on or make changes to this bug.