[OS X TeX] font size of console window

Peter Dyballa Peter_Dyballa at Web.DE
Thu Oct 2 21:16:55 CEST 2008

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."



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

More information about the macostex-archives mailing list