diff options
author | Marc Horowitz <marc@mit.edu> | 1990-05-14 12:30:30 +0000 |
---|---|---|
committer | Marc Horowitz <marc@mit.edu> | 1990-05-14 12:30:30 +0000 |
commit | d2c2fe8b7b774b733b3ddbef6553f5009685da38 (patch) | |
tree | 2a95270c026de7b94dbec4c91709156b218434c4 /zwgc/zwgc_resources | |
parent | 58b5ac5c2bc7d8000fc3f36c600dad99b054bc43 (diff) |
fixed, real, for 7.0 release version. Basically the same as 1.3
Diffstat (limited to 'zwgc/zwgc_resources')
-rw-r--r-- | zwgc/zwgc_resources | 110 |
1 files changed, 55 insertions, 55 deletions
diff --git a/zwgc/zwgc_resources b/zwgc/zwgc_resources index 272f9f8..7f2ef72 100644 --- a/zwgc/zwgc_resources +++ b/zwgc/zwgc_resources @@ -11,94 +11,94 @@ ! Zwgc application specific global resources: ! -zwgc*style*substyle.default.fontfamily: default -zwgc*style.message.personal*substyle.title.fontfamily: huge +*style*substyle.default.fontfamily: default +*style.message.personal*substyle.title.fontfamily: huge -zwgc*style*geometry: +0+0 +*style*geometry: +0+0 ! ! The following is the adobe-courier font family. Availiable sizes are ! 80, 100, 120, 140, 180, and 240. This family used to be courier. ! -zwgc*fontfamily.default.small.roman: -adobe-courier-medium-r-*-80-*-m-* -zwgc*fontfamily.default.small.bold: -adobe-courier-bold-r-*-80-*-m-* -zwgc*fontfamily.default.small.italic: -adobe-courier-medium-o-*-80-*-m-* -zwgc*fontfamily.default.small.bolditalic: -adobe-courier-bold-o-*-80-*-m-* +*fontfamily.default.small.roman: -adobe-courier-medium-r-*-80-*-m-* +*fontfamily.default.small.bold: -adobe-courier-bold-r-*-80-*-m-* +*fontfamily.default.small.italic: -adobe-courier-medium-o-*-80-*-m-* +*fontfamily.default.small.bolditalic: -adobe-courier-bold-o-*-80-*-m-* -zwgc*fontfamily.default.medium.roman: -adobe-courier-medium-r-*-120-*-m-* -zwgc*fontfamily.default.medium.bold: -adobe-courier-bold-r-*-120-*-m-* -zwgc*fontfamily.default.medium.italic: -adobe-courier-medium-o-*-120-*-m-* -zwgc*fontfamily.default.medium.bolditalic: -adobe-courier-bold-o-*-120-*-m-* +*fontfamily.default.medium.roman: -adobe-courier-medium-r-*-120-*-m-* +*fontfamily.default.medium.bold: -adobe-courier-bold-r-*-120-*-m-* +*fontfamily.default.medium.italic: -adobe-courier-medium-o-*-120-*-m-* +*fontfamily.default.medium.bolditalic: -adobe-courier-bold-o-*-120-*-m-* -zwgc*fontfamily.default.large.roman: -adobe-courier-medium-r-*-240-*-m-* -zwgc*fontfamily.default.large.bold: -adobe-courier-bold-r-*-240-*-m-* -zwgc*fontfamily.default.large.italic: -adobe-courier-medium-o-*-240-*-m-* -zwgc*fontfamily.default.large.bolditalic: -adobe-courier-bold-o-*-240-*-m-* +*fontfamily.default.large.roman: -adobe-courier-medium-r-*-240-*-m-* +*fontfamily.default.large.bold: -adobe-courier-bold-r-*-240-*-m-* +*fontfamily.default.large.italic: -adobe-courier-medium-o-*-240-*-m-* +*fontfamily.default.large.bolditalic: -adobe-courier-bold-o-*-240-*-m-* ! ! The following is the adobe-courier font family. Availiable sizes are ! 80, 100, 120, 140, 180, and 240. This family used to be courier. ! -zwgc*fontfamily.courier.small.roman: *adobe-courier-medium-r-*-80-*-m-* -zwgc*fontfamily.courier.small.bold: *adobe-courier-bold-r-*-80-*-m-* -zwgc*fontfamily.courier.small.italic: *adobe-courier-medium-o-*-80-*-m-* -zwgc*fontfamily.courier.small.bolditalic: *adobe-courier-bold-o-*-80-*-m-* +*fontfamily.courier.small.roman: *adobe-courier-medium-r-*-80-*-m-* +*fontfamily.courier.small.bold: *adobe-courier-bold-r-*-80-*-m-* +*fontfamily.courier.small.italic: *adobe-courier-medium-o-*-80-*-m-* +*fontfamily.courier.small.bolditalic: *adobe-courier-bold-o-*-80-*-m-* -zwgc*fontfamily.courier.medium.roman: *adobe-courier-medium-r-*-120-*-m-* -zwgc*fontfamily.courier.medium.bold: *adobe-courier-bold-r-*-120-*-m-* -zwgc*fontfamily.courier.medium.italic: *adobe-courier-medium-o-*-120-*-m-* -zwgc*fontfamily.courier.medium.bolditalic: *adobe-courier-bold-o-*-120-*-m-* +*fontfamily.courier.medium.roman: *adobe-courier-medium-r-*-120-*-m-* +*fontfamily.courier.medium.bold: *adobe-courier-bold-r-*-120-*-m-* +*fontfamily.courier.medium.italic: *adobe-courier-medium-o-*-120-*-m-* +*fontfamily.courier.medium.bolditalic: *adobe-courier-bold-o-*-120-*-m-* -zwgc*fontfamily.courier.large.roman: *adobe-courier-medium-r-*-240-*-m-* -zwgc*fontfamily.courier.large.bold: *adobe-courier-bold-r-*-240-*-m-* -zwgc*fontfamily.courier.large.italic: *adobe-courier-medium-o-*-240-*-m-* -zwgc*fontfamily.courier.large.bolditalic: *adobe-courier-bold-o-*-240-*-m-* +*fontfamily.courier.large.roman: *adobe-courier-medium-r-*-240-*-m-* +*fontfamily.courier.large.bold: *adobe-courier-bold-r-*-240-*-m-* +*fontfamily.courier.large.italic: *adobe-courier-medium-o-*-240-*-m-* +*fontfamily.courier.large.bolditalic: *adobe-courier-bold-o-*-240-*-m-* ! ! The following is the adobe-times font family. Availiable sizes are ! 80, 100, 120, 140, 180, and 240. This family used to be times-roman. ! -zwgc*fontfamily.times.small.roman: *adobe-times-medium-r-*-80-*-p-* -zwgc*fontfamily.times.small.bold: *adobe-times-bold-r-*-80-*-p-* -zwgc*fontfamily.times.small.italic: *adobe-times-medium-i-*-80-*-p-* -zwgc*fontfamily.times.small.bolditalic: *adobe-times-bold-i-*-80-*-p-* +*fontfamily.times.small.roman: *adobe-times-medium-r-*-80-*-p-* +*fontfamily.times.small.bold: *adobe-times-bold-r-*-80-*-p-* +*fontfamily.times.small.italic: *adobe-times-medium-i-*-80-*-p-* +*fontfamily.times.small.bolditalic: *adobe-times-bold-i-*-80-*-p-* -zwgc*fontfamily.times.medium.roman: *adobe-times-medium-r-*-120-*-p-* -zwgc*fontfamily.times.medium.bold: *adobe-times-bold-r-*-120-*-p-* -zwgc*fontfamily.times.medium.italic: *adobe-times-medium-i-*-120-*-p-* -zwgc*fontfamily.times.medium.bolditalic: *adobe-times-bold-i-*-120-*-p-* +*fontfamily.times.medium.roman: *adobe-times-medium-r-*-120-*-p-* +*fontfamily.times.medium.bold: *adobe-times-bold-r-*-120-*-p-* +*fontfamily.times.medium.italic: *adobe-times-medium-i-*-120-*-p-* +*fontfamily.times.medium.bolditalic: *adobe-times-bold-i-*-120-*-p-* -zwgc*fontfamily.times.large.roman: *adobe-times-medium-r-*-240-*-p-* -zwgc*fontfamily.times.large.bold: *adobe-times-bold-r-*-240-*-p-* -zwgc*fontfamily.times.large.italic: *adobe-times-medium-i-*-240-*-p-* -zwgc*fontfamily.times.large.bolditalic: *adobe-times-bold-i-*-240-*-p-* +*fontfamily.times.large.roman: *adobe-times-medium-r-*-240-*-p-* +*fontfamily.times.large.bold: *adobe-times-bold-r-*-240-*-p-* +*fontfamily.times.large.italic: *adobe-times-medium-i-*-240-*-p-* +*fontfamily.times.large.bolditalic: *adobe-times-bold-i-*-240-*-p-* ! ! The following is the adobe-helvetica font family. Availiable sizes are ! 80, 100, 120, 140, 180, and 240. This family used to be helvetica. ! -zwgc*fontfamily.helvetica.small.roman: *adobe-helvetica-medium-r-*-80-*-p-* -zwgc*fontfamily.helvetica.small.bold: *adobe-helvetica-bold-r-*-80-*-p-* -zwgc*fontfamily.helvetica.small.italic: *adobe-helvetica-medium-o-*-80-*-p-* -zwgc*fontfamily.helvetica.small.bolditalic: *adobe-helvetica-bold-o-*-80-*-p-* +*fontfamily.helvetica.small.roman: *adobe-helvetica-medium-r-*-80-*-p-* +*fontfamily.helvetica.small.bold: *adobe-helvetica-bold-r-*-80-*-p-* +*fontfamily.helvetica.small.italic: *adobe-helvetica-medium-o-*-80-*-p-* +*fontfamily.helvetica.small.bolditalic: *adobe-helvetica-bold-o-*-80-*-p-* -zwgc*fontfamily.helvetica.medium.roman: *adobe-helvetica-medium-r-*-120-*-p-* -zwgc*fontfamily.helvetica.medium.bold: *adobe-helvetica-bold-r-*-120-*-p-* -zwgc*fontfamily.helvetica.medium.italic: *adobe-helvetica-medium-o-*-120-*-p-* -zwgc*fontfamily.helvetica.medium.bolditalic:*adobe-helvetica-bold-o-*-120-*-p-* +*fontfamily.helvetica.medium.roman: *adobe-helvetica-medium-r-*-120-*-p-* +*fontfamily.helvetica.medium.bold: *adobe-helvetica-bold-r-*-120-*-p-* +*fontfamily.helvetica.medium.italic: *adobe-helvetica-medium-o-*-120-*-p-* +*fontfamily.helvetica.medium.bolditalic:*adobe-helvetica-bold-o-*-120-*-p-* -zwgc*fontfamily.helvetica.large.roman: *adobe-helvetica-medium-r-*-240-*-p-* -zwgc*fontfamily.helvetica.large.bold: *adobe-helvetica-bold-r-*-240-*-p-* -zwgc*fontfamily.helvetica.large.italic: *adobe-helvetica-medium-o-*-240-*-p-* -zwgc*fontfamily.helvetica.large.bolditalic: *adobe-helvetica-bold-o-*-240-*-p-* +*fontfamily.helvetica.large.roman: *adobe-helvetica-medium-r-*-240-*-p-* +*fontfamily.helvetica.large.bold: *adobe-helvetica-bold-r-*-240-*-p-* +*fontfamily.helvetica.large.italic: *adobe-helvetica-medium-o-*-240-*-p-* +*fontfamily.helvetica.large.bolditalic: *adobe-helvetica-bold-o-*-240-*-p-* ! ! Quick hack... ! -zwgc*fontfamily.huge*roman: *bitstream-charter-medium-r-*-33-*-p-* -zwgc*fontfamily.huge*bold: *bitstream-charter-bold-r-*-33-*-p-* -zwgc*fontfamily.huge*italic: *bitstream-charter-medium-i-*-33-*-p-* -zwgc*fontfamily.huge*bolditalic: *bitstream-charter-bold-i-*-33-*-p-* +*fontfamily.huge*roman: *bitstream-charter-medium-r-*-33-*-p-* +*fontfamily.huge*bold: *bitstream-charter-bold-r-*-33-*-p-* +*fontfamily.huge*italic: *bitstream-charter-medium-i-*-33-*-p-* +*fontfamily.huge*bolditalic: *bitstream-charter-bold-i-*-33-*-p-* |