Closed Bug 680375 Opened 10 years ago Closed 10 years ago
Source Editor line gutter should have a bit of margin on the right
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.
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
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.