Open
Bug 872390
Opened 12 years ago
Updated 2 years ago
Make the font size of the source view in the debugger configurable
Categories
(DevTools :: Debugger, defect, P5)
Tracking
(Not tracked)
NEW
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).
|
||
Updated•11 years ago
|
Priority: -- → P3
|
||
Updated•10 years ago
|
Summary: allow changing the font-size of the debugger's code → Make the font size of the source view in the debugger configurable
|
|
||
Updated•10 years ago
|
Blocks: dbg-frontend
|
||
Comment 1•8 years ago
|
||
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.
|
||
Updated•6 years ago
|
Product: Firefox → DevTools
|
||
Updated•6 years ago
|
Priority: P3 → P5
|
|
||
Updated•2 years ago
|
Severity: normal → S3
You need to log in
before you can comment on or make changes to this bug.
Description
•