[PD-dev] [ pure-data-Bugs-3437142 ] Font WAY too small for main console

[SourceForge.net]

Bugs item #3437142, was opened at 2011-11-12 20:11
Message generated for change (Tracker Item Submitted) made by nobody
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=478070&aid=3437142&group_id=55736

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: pd-extended
Group: v0.42
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Hans-Christoph Steiner (eighthave)
Summary: Font WAY too small for main console

Initial Comment:
Win 7 ultimate, 20" monitor. The font size is WAY too small for the main console [where 'font' is grayed-out on Edit menu.] Is there a file or plug-in that can be edited to adjust the font size ??

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=478070&aid=3437142&group_id=55736