[OS X TeX] font size of console window

[Peter Dyballa]

Am 02.10.2008 um 19:56 schrieb Doris Wagner:

> is ist possible to change the default font-size of _ALL_ macosX  
> applications?

Of course. TinkerTool allows this. The only problem is that 50  
applications have over 250 ideas of fonts and font sizes for this and  
for that. A bit shorter explanation: you can set the system's font  
and size choices for the elements of Aqua, not an application's  
"private parts."

--
Greetings

   Pete

When Richard Stallman goes to the loo, he core dumps.