Path: news.daimi.aau.dk!not-for-mail
From: Gorel Hedin <gorel@daimi.aau.dk>
Newsgroups: comp.lang.beta
Subject: Re: larger fonts in sif?
Date: Tue, 18 Feb 1997 13:21:54 +0100
Organization: DAIMI, Computer Science Dept. at Aarhus University
Lines: 58
Message-ID: <33099EE2.10BC@daimi.aau.dk>
References: <199702171723.SAA13164@mjolner.mjolner.dk>
NNTP-Posting-Host: cruzeiro.daimi.aau.dk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Mailer: Mozilla 3.0 (X11; I; SunOS 5.5 sun4m)
To: Henry Michael Lassen <henryml@daimi.aau.dk>
Xref: news.daimi.aau.dk comp.lang.beta:10970

Thanks a lot - it works fine. I also tried to change the
fonts for frigg, freja and valhalla. It worked fine for frigg by
adding corresponding SUN4Sfrigg lines in .Xdefaults, but the same 
trick did not work for freja or valhalla. Is there something else 
I can write in .Xdefaults for those tools?

/Gorel

Henry Michael Lassen wrote:
> 
> Gorel Hedin wrote:
> >
> > Does anyone know how to change the fonts in sif and other Mjolner BETA tools?
> > I would like some larger ones.
> >
> > I am running on Sun Sparc under Openwindows and Unix.
> > Is there for example something I should add to my .Xdefaults file?
> >
> > /Gorel Hedin
> >
> > http://www.daimi.aau.dk/~gorel/
> 
> Write the following in your .Xdefaults file:
> 
> SUN4Ssif*XmText*fontList:  *times-medium-r-normal-*-*-140-*
> 
> To change font used for the texteditors in sif to the
> specified font.
> 
> You can use the "xfontsel" application to see what
> fonts are available on your machine.
> 
> Other fonts in Sif are:
> 
>   SUN4Ssif*XmList*fontList:
> 
>      The font used for the  scrolllists.
> 
>   SUN4Ssif*XmLabel*fontList:
>   SUN4Ssif*XmLabelGadget*fontList:
> 
>     The fonts used for the labels (Projects, Groups and Fragments)
>     in the sourcebrowser window, for instance.
> 
>   SUN4Ssif*XmPushButton*fontList:
>   SUN4Ssif*XmCascadeButton*fontList:
> 
>     The fonts used in the menubar and the menus.
> 
>   SUN4Ssif*XmToggleButton*fontList:
> 
>     The fonts used for radiobuttons and checkboxes
> 
> I hope this helps. Ask again if there is a specific
> font you want to change, that I did not mention.
> 
> --
> Michael