mailing-list for TeXmacs Users

[David Allouche <address@hidden>]

While fiddling with font styles I noticed an inconsistence in the way some
fonts are selected in TeXmacs. Some fonts from the Adobe suite use Courier
and Helvetica as typewriter and sans-serif variants. However, they do not
provide full access to the set of types provided by Courier and Helvetica.

For example Times-typewriter text is displayed using Courrier.
Times-typewriter-italic is displayed using Courrier-italic, but
Times-typewriter-bold is displayed using the default face while
Courier-Bold is displayed using its own face.

This appears structured-typesettingly incorrect to me, so here is a patch
to fix this (and demonstrate a nice feature of the way font selection is
handled in TeXmacs). For more information on how this works, select the
menu item Help/Documentation/Implementation/Fonts in TeXmacs.

This patch must be applied to the file
TeXmacs-$VERSION/progs/fonts/adobe-fonts.scm (in the source tree). The
installed location of this file depends on your ./configure options.

===== Patch Starts Here =====
*** adobe-fonts.scm     Sun Sep 30 20:19:10 2001
--- adobe-fonts.scm     Sun Sep 30 20:32:16 2001
***************
*** 27,38 ****
      ((bookman rm bold slanted $s $d) (adobe rpbkdi $s $d 0))
      ((bookman rm bold italic $s $d) (adobe rpbkdi $s $d 0))
!     ((bookman ss medium right $s $d) (adobe rpagk $s $d 0))
!     ((bookman ss medium slanted $s $d) (adobe rpagko $s $d 0))
!     ((bookman ss medium italic $s $d) (adobe rpagko $s $d 0))
!     ((bookman ss bold right $s $d) (adobe rpagd $s $d 0))
!     ((bookman ss bold slanted $s $d) (adobe rpagdo $s $d 0))
!     ((bookman ss bold italic $s $d) (adobe rpagdo $s $d 0))
!     ((bookman tt medium right $s $d) (adobe rpcrr $s $d 0))
!     ((bookman tt medium italic $s $d) (adobe rpcrro $s $d 0))
  
      ((courier rm medium right $s $d) (adobe rpcrr $s $d 0))
--- 27,32 ----
      ((bookman rm bold slanted $s $d) (adobe rpbkdi $s $d 0))
      ((bookman rm bold italic $s $d) (adobe rpbkdi $s $d 0))
!     ((bookman ss $series $shape $s $d) (avant-garde rm $series $shape $s
$d))
!     ((bookman tt $series $shape $s $d) (courier rm $series $shape $s $d))
  
      ((courier rm medium right $s $d) (adobe rpcrr $s $d 0))
***************
*** 55,60 ****
      ((helvetica rm bold slanted-condensed $s $d) (adobe rphvbon $s $d 0))
      ((helvetica rm bold italic-condensed $s $d) (adobe rphvbon $s $d 0))
!     ((helvetica tt medium right $s $d) (adobe rpcrr $s $d 0))
!     ((helvetica tt medium italic $s $d) (adobe rpcrro $s $d 0))
  
      ((new-century-schoolbook rm medium right $s $d) (adobe rpncr $s $d
0))
--- 49,53 ----
      ((helvetica rm bold slanted-condensed $s $d) (adobe rphvbon $s $d 0))
      ((helvetica rm bold italic-condensed $s $d) (adobe rphvbon $s $d 0))
!     ((helvetica tt $series $shape $s $d) (courier rm $series $shape $s
$d))
  
      ((new-century-schoolbook rm medium right $s $d) (adobe rpncr $s $d
0))
***************
*** 75,86 ****
      ((palatino rm bold italic $s $d) (adobe rpplbi $s $d 0))
      ((palatino rm bold italic-right $s $d) (adobe rpplbu $s $d 0))
!     ((palatino ss medium right $s $d) (adobe rphvr $s $d 0))
!     ((palatino ss medium slanted $s $d) (adobe rphvro $s $d 0))
!     ((palatino ss medium italic $s $d) (adobe rphvro $s $d 0))
!     ((palatino ss bold right $s $d) (adobe rphvb $s $d 0))
!     ((palatino ss bold slanted $s $d) (adobe rphvbo $s $d 0))
!     ((palatino ss bold italic $s $d) (adobe rphvbo $s $d 0))
!     ((palatino tt medium right $s $d) (adobe rpcrr $s $d 0))
!     ((palatino tt medium italic $s $d) (adobe rpcrro $s $d 0))
  
      ((times rm medium right $s $d) (adobe rptmr $s $d 0))
--- 68,73 ----
      ((palatino rm bold italic $s $d) (adobe rpplbi $s $d 0))
      ((palatino rm bold italic-right $s $d) (adobe rpplbu $s $d 0))
!     ((palatino ss $series $shape $s $d) (helvetica rm $series $shape $s
$d))
!     ((palatino tt $series $shape $s $d) (courier rm $series $shape $s
$d))
  
      ((times rm medium right $s $d) (adobe rptmr $s $d 0))
***************
*** 92,103 ****
      ((times rm bold slanted $s $d) (adobe rptmbo $s $d 0))
      ((times rm bold italic $s $d) (adobe rptmbi $s $d 0))
!     ((times ss medium right $s $d) (adobe rphvr $s $d 0))
!     ((times ss medium slanted $s $d) (adobe rphvro $s $d 0))
!     ((times ss medium italic $s $d) (adobe rphvro $s $d 0))
!     ((times ss bold right $s $d) (adobe rphvb $s $d 0))
!     ((times ss bold slanted $s $d) (adobe rphvbo $s $d 0))
!     ((times ss bold italic $s $d) (adobe rphvbo $s $d 0))
!     ((times tt medium right $s $d) (adobe rpcrr $s $d 0))
!     ((times tt medium italic $s $d) (adobe rpcrro $s $d 0))
  
      ((chancellary rm $a $b $s $d) (adobe rpzcmi $s $d 0))
--- 79,85 ----
      ((times rm bold slanted $s $d) (adobe rptmbo $s $d 0))
      ((times rm bold italic $s $d) (adobe rptmbi $s $d 0))
!     ((times ss $series $shape $s $d) (helvetica rm $series $shape $s $d))
!     ((times tt $series $shape $s $d) (courier rm $series $shape $s $d))
! 
  
      ((chancellary rm $a $b $s $d) (adobe rpzcmi $s $d 0))
===== Patch Ends Here =====

Enjoy!
-- 

                             -- David --