If you upgrade to Factor 0.92, you can add the following to your ~/.factor-boot-rc:
USING: namespaces ui.freetype ; 100 dpi set-global This scales all fonts. Slava Ludovic Kuty wrote: > Hi, > > I would like to change the default font size of the input and output > areas to make it bigger. I found a post about something similar where > Slava Pestov indicates that it could be done this way for the factor > browser: > > 14 font-size default-style get set-at > > old post: > http://www.mail-archive.com/[email protected]/msg00718.html > > When I evaluate it in the input area, I get this: > > Word not found in current vocabulary search path > 0 no-word-name... "font-size"... > > I use Factor 0.91 on macosx/x86.32 > > Could you help me ? > > TIA, > > Ludovic Kuty > > > > ------------------------------------------------------------------------- > This SF.net email is sponsored by: Microsoft > Defy all challenges. Microsoft(R) Visual Studio 2008. > http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ > _______________________________________________ > Factor-talk mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/factor-talk > > ------------------------------------------------------------------------- This SF.net email is sponsored by: Microsoft Defy all challenges. Microsoft(R) Visual Studio 2008. http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/ _______________________________________________ Factor-talk mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/factor-talk
