On Apr 23, 2010, at 9:59 PM, Mike Lawrence wrote:

> I tried poking at the source code again and I guess I didn't try hard
> enough the first time because this time I found that changing the
> default font is trivial:
> 
> In files "RConsoleController.m" & "RController.m", change all instances of
> NSFont userFixedPitchFontOfSize:currentFontSize
> to
> NSFont fontWithName:@"Menlo-Regular" size:currentFontSize
> 

If you want to mess with the sources it's much easier - just add

[NSFont setUserFixedPitchFont: [NSFont fontWithName:@"Menlo-Regular" size:12]];

anywhere in the startup - you don't need to change the font retrieval at all 
since it is already defined such that it gets your current default font.

Cheers,
Simon



> Mike
> 
> On Fri, Apr 23, 2010 at 9:11 PM, Mike Lawrence <mike.lawre...@dal.ca> wrote:
>> Hi Simon,
>> 
>> Thanks for the reply. Indeed, I had already noticed in the source that
>> the app was simply asking the system for its default fixed width font.
>> I've searched for how to change this default but come up with nothing
>> (searched system preferences, fontbook, google, etc). Any suggestions?
>> 
>> Mike
>> 
>> On Fri, Apr 23, 2010 at 9:00 PM, Simon Urbanek
>> <simon.urba...@r-project.org> wrote:
>>> 
>>> On Apr 23, 2010, at 4:24 PM, Mike Lawrence wrote:
>>> 
>>>> Hi folks,
>>>> 
>>>> Sorry if this has been asked already, but I couldn't find any references 
>>>> to it in the list archives. Is there any way to change the default font of 
>>>> the mac GUI? If I open the app I can change the size of the font and this 
>>>> change persists even if I close and re-open the app, but changes in the 
>>>> font itself do not persist. I've played around with the source code, but 
>>>> can't seem to find what I'd need to modify to set a new default font (14pt 
>>>> Menlo, for example).
>>>> 
>>> 
>>> Currently there is no way to change the font family - it is always left to 
>>> the system to specify the font, GUI is just asking for fixed-width font. It 
>>> is the default font for a given user so in theory by changing the default 
>>> fixed width font for your account you will also change it in the GUI. You 
>>> could add it to the wish list, though.
>>> 
>>> Cheers,
>>> Simon
>>> 
>>> _______________________________________________
>>> R-SIG-Mac mailing list
>>> R-SIG-Mac@stat.math.ethz.ch
>>> https://stat.ethz.ch/mailman/listinfo/r-sig-mac
>>> 
>> 
>> 
>> 
>> --
>> Mike Lawrence
>> Graduate Student
>> Department of Psychology
>> Dalhousie University
>> 
>> Looking to arrange a meeting? Check my public calendar:
>> http://tr.im/mikes_public_calendar
>> 
>> ~ Certainty is folly... I think. ~
>> 
> 
> 
> 
> -- 
> Mike Lawrence
> Graduate Student
> Department of Psychology
> Dalhousie University
> 
> Looking to arrange a meeting? Check my public calendar:
> http://tr.im/mikes_public_calendar
> 
> ~ Certainty is folly... I think. ~
> 
> 

_______________________________________________
R-SIG-Mac mailing list
R-SIG-Mac@stat.math.ethz.ch
https://stat.ethz.ch/mailman/listinfo/r-sig-mac

Reply via email to