Closed Bug 143119 Opened 22 years ago Closed 6 years ago

Change font size in debugger source view on the fly

Categories

(Other Applications Graveyard :: Venkman JS Debugger, enhancement)

Product:
Other Applications Graveyard
Component:
Venkman JS Debugger
Type:
enhancement
Priority:
Not set
Severity:
normal

Tracking

(Not tracked)

Status:
RESOLVED INCOMPLETE

People

(Reporter: alanr, Assigned: rginda)

References

(Depends on 1 open bug)

Details

The source view font is too small to read. Font in the command line and tree seem fine. 
Tried to change font preferences in mozilla but didn't seem to make a difference.
Status: UNCONFIRMED → NEW
Ever confirmed: true
JS Debugger should use same font family and size as View Souce (so it is related
to bug 89549).
Blocks: 141097
Status: NEW → ASSIGNED
Summary: Source view font size too small → Change font size in source view on the fly
Is this a Mac-only problem, or should it be All/All?
Severity: normal → enhancement
Depends on: 89549
OS: MacOS X → All
Hardware: Macintosh → All
Summary: Change font size in source view on the fly → Change font size in debugger source view on the fly
Product: Core → Other Applications
I'm having the exact opposite problem of the reporter's; the font size by default is way too large.  

It's probably easy to fix by editing the motif CSS, but I think it'd be nice to either make a better default font size *or* make this a UI pref.
BTW, this is on OS X.   Latest venkman build (0.9.28 I think).
I hope it's not 0.9.28, that's from 2002-07-29! ;)

Latest is 0.9.87. Also, I think the default size is just that of the browser, so it's really not such a great idea to default to anything else, IMHO.
(In reply to comment #5)
> I hope it's not 0.9.28, that's from 2002-07-29! ;)
> 
> Latest is 0.9.87. Also, I think the default size is just that of the browser,
> so it's really not such a great idea to default to anything else, IMHO.

How could it be the default of my browser? It's huge! Like 14 or 16 pt or something.

View source uses a much better font and size (9px Monaco).
They're both big, and so is the default Firefox font size. I didn't say it *was* the default, only that I thought it was. If it isn't, it isn't, but the browser does default to such large fonts.
I have the same problem -- except in my case, the font size is way too large... it would be nice to have an easy way to set this, even for values of easy involving editing CSS files in my profile directory...
Oh, and it sure doesn't *look* like the debugger source view is using the same font as "view source" to me, in 0.9.87.2.
Hmm, this may be a good stopgap, and might even provide insight about the problem: http://userstyles.org/styles/268
QA Contact: caillon → venkman
Component is obsolete so resolving bugs as INCOMPLETE
Status: ASSIGNED → RESOLVED
Closed: 6 years ago
Resolution: --- → INCOMPLETE
Product: Other Applications → Other Applications Graveyard
You need to log in before you can comment on or make changes to this bug.