Open Bug 872390 Opened 11 years ago Updated 2 years ago

Make the font size of the source view in the debugger configurable

Categories

(DevTools :: Debugger, defect, P5)

Product:
DevTools
Component:
Debugger
Platform:
x86
macOS
Type:
defect

Tracking

(Not tracked)

People

(Reporter: glob, Unassigned)

References

(Blocks 1 open bug)

Details

(Whiteboard: [sourceeditor]) 

the debugger appears to use a font-size which is larger than the default size for monospaced text.

as i would prefer to use the default size, i would like the ability to change the font size of the debugger (i would not complain if the same setting also applied to the scratchpad and style editor).
Depends on: 760825
Whiteboard: [sourceeditor]
Priority: -- → P3
Summary: allow changing the font-size of the debugger's code → Make the font size of the source view in the debugger configurable
You can change the devtools font size with control - and control + now,
but I'm not sure if that is sufficient to close this bug.
(In reply to Tom Tromey :tromey from comment #1)
> You can change the devtools font size with control - and control + now,
> but I'm not sure if that is sufficient to close this bug.

while useful that changes the font size for the entire devtools ui, not just the font size of code in the source view.
Product: Firefox → DevTools
Priority: P3 → P5
Blocks: 1565711
Blocks: 1565713
No longer blocks: 1565711
No longer blocks: 1565713
Severity: normal → S3
You need to log in before you can comment on or make changes to this bug.