Closed Bug 678995 Opened 13 years ago Closed 13 years ago

Orion editor in Scratchpad's gutter is too narrow

Categories

(DevTools :: General, defect)

Product:
DevTools
Component:
General
Type:
defect
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED FIXED
Milestone:
Firefox 10

People

(Reporter: rcampbell, Assigned: msucan)

References

Details

(Keywords: polish, Whiteboard: [sourceeditor][orion]) 

I think the gutter in the Scratchpad with Orion enabled is too narrow. It should probably default to 5 characters wide rather than the current 2.
Keywords: polish
OS: Mac OS X → All
Hardware: x86 → All
Imho it's nice as it is now to adapt to the number of lines in the code (2 character wide is enough for short code < 99 lines).

I think the main reason it looks narrow is the lack of a small margin on the right (and possibly one bit on the left) as in described in bug 680375.
Whiteboard: [sourceeditor][orion]
This is going to be fixed by bug 692807 (in one of the possible ways).
This is now fixed. Bug 692807 landed.
Assignee: nobody → mihai.sucan
Status: NEW → RESOLVED
Closed: 13 years ago
Depends on: 692807
Resolution: --- → FIXED
Target Milestone: --- → Firefox 10
This was fixed by adding right and left margins. 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.