This is the mail archive of the
insight@sources.redhat.com
mailing list for the Insight project.
Re: [RFA] Default font changes.
- To: Ian Roxborough <irox at redhat dot com>
- Subject: Re: [RFA] Default font changes.
- From: Keith Seitz <keiths at cygnus dot com>
- Date: Wed, 10 Oct 2001 07:14:26 -0700 (PDT)
- cc: <insight at sources dot redhat dot com>
On Tue, 9 Oct 2001, Ian Roxborough wrote:
> this little patch should give us readable fonts on most
> sanely configured machines. Also changes some texts to
> be displayed in helvetica and sets a slightly smaller
> font for help balloons and status bar.
Fine with me. (Please post ChangeLog.)
Keith
> --- /space/work/gdb/sources.redhat.com/src/libgui/library/looknfeel.tcl Sat Sep
> 8 15:34:46 2001
> +++ looknfeel.tcl Thu Oct 4 11:16:52 2001
> @@ -34,12 +34,13 @@
> eval define_font global/italic [array get actual]
> define_font global/menu -family windows-menu
> } else {
> - define_font global/default -family courier -size 9
> - define_font global/bold -family courier -size 9 -weight bold
> - define_font global/fixed -family courier -size 9
> - define_font global/status -family courier -size 9
> - define_font global/italic -family courier -size 9 -slant italic
> - define_font global/menu -family courier -size 9
> + set size 12
> + define_font global/default -family courier -size $size
> + define_font global/bold -family courier -size $size -weight bold
> + define_font global/fixed -family courier -size $size
> + define_font global/status -family helvetica -size [expr $size - 1]
> + define_font global/italic -family courier -size $size -slant italic
> + define_font global/menu -family helvetica -size $size
> }
>
> # Make sure this font is actually used by default.
>