Closed Bug 488213 Opened 17 years ago Closed 17 years ago

Don't overload the line number font for all fonts

Categories

(Skywriter Graveyard :: Editor, defect, P4)

Product:
Skywriter Graveyard
Component:
Editor
Type:
defect

Tracking

(Not tracked)

Status:
VERIFIED FIXED
Milestone:
Future

People

(Reporter: dion, Assigned: dion)

Details

We were using lineNumberFont as the font for all drawing. Split this up and have an editorTextFont that the editor uses. This allows Ben to go smaller with his line numbers ;)
Fixes in changeset 64ac71bbe77c
Assignee: nobody → dion
Status: NEW → RESOLVED
Closed: 17 years ago
Priority: -- → P4
Resolution: --- → FIXED
Whiteboard: editor
This was indeed committed in that changeset, so VERIFIED.
Status: RESOLVED → VERIFIED
This is a mass migration from Mozilla Labs :: Bespin to Bespin :: Editor.
Component: Bespin → Editor
Product: Mozilla Labs → Bespin
QA Contact: bespin → editor
Whiteboard: editor
You need to log in before you can comment on or make changes to this bug.