This is the mail archive of the
insight@sources.redhat.com
mailing list for the Insight project.
[RFA] Default font changes.
- To: insight at sources dot redhat dot com
- Subject: [RFA] Default font changes.
- From: Ian Roxborough <irox at redhat dot com>
- Date: Tue, 09 Oct 2001 17:25:52 -0700
Hi,
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.
Ian.
--- /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.