Closed
Bug 680375
Opened 14 years ago
Closed 14 years ago
Source Editor line gutter should have a bit of margin on the right.
Categories
(DevTools :: General, defect)
DevTools
General
Tracking
(Not tracked)
RESOLVED
FIXED
Firefox 10
People
(Reporter: cedricv, Assigned: msucan)
References
Details
(Whiteboard: [sourceeditor][orion])
Attachments
(1 file)
|
48.81 KB,
image/png
|
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.
|
||
Comment 1•14 years ago
|
||
see also bug 678995.
|
|
Assignee | |
Updated•14 years ago
|
Whiteboard: [sourceeditor][orion]
|
|
Assignee | |
Comment 2•14 years ago
|
||
This is going to be fixed by bug 692807.
|
|
Assignee | |
Comment 3•14 years ago
|
||
This is now fixed. Bug 692807 landed.
Assignee: nobody → mihai.sucan
Status: NEW → RESOLVED
Closed: 14 years ago
Resolution: --- → FIXED
Target Milestone: --- → Firefox 10
|
||
Comment 4•14 years ago
|
||
VERIFIED on Build identifier: Mozilla/5.0 (X11; Linux i686; rv:10.0a1) Gecko/20111107 Firefox/10.0a1
|
||
Updated•7 years ago
|
Product: Firefox → DevTools
You need to log in
before you can comment on or make changes to this bug.
Description
•