后记:如何将一种字体别名或替换为另一种字体?

Yasha

我想检查字体是否存在,然后是否不替代它,并使其可用于文档中字体的每个实例:/ font_a / Font resourcestatus dup {3 1 roll pop pop} if {/ font_a} {/ font_b} ifelse findfont,但是每次使用font_a时我都需要使用它。如何全局定义?

ps.sry表示英语破损

苏·尼姆(Sue D. Nymme)

而不是在整个文档中使用findfont/ scalefont/ selectfont而是在文件开头定义要使用的字体:

  /heading-font  /Helvetica-Bold findfont 14 scalefont def
  /body-font     /Times-Roman    findfont 11 scalefont def
  ...
  heading-font setfont (Trees) show
  body-font setfont  (A tree is a tall living structure made of wood.) show
  heading-font setfont (Lakes) show
  body-font setfont (A lake is a storage medium for water.) show
  ...

您仍然必须在字体资源中进行搜索,以查看所需的字体是否可用,但是每个字体只需要执行一次。

本文收集自互联网,转载请注明来源。

如有侵权,请联系[email protected] 删除。

编辑于
0

我来说两句

0条评论
登录后参与评论

相关文章

来自分类Dev

如何将一种字体的所有实例更改为另一种字体?

来自分类Dev

将字形从另一种字体修补为一种字体

来自分类Dev

如何将一种格式的json转换为另一种格式

来自分类Dev

不用JavaScript就可以在悬停状态下将一种字体切换为另一种字体

来自分类Dev

将字体从“系统”更改为另一种预装字体?

来自分类Dev

如何将一种类型的CompletableFuture转换为另一种类型?

来自分类Dev

如何将php对象数组从一种形式转换为另一种形式

来自分类Dev

如何将嵌套对象从一种类型转换为另一种类型

来自分类Dev

如何将一种数据类型转换为另一种

来自分类Dev

如何将PPA用户从一种PPA转换为另一种PPA?

来自分类Dev

如何将PPA用户从一种PPA转换为另一种PPA?

来自分类Dev

如何将int值从一种方法转换为另一种方法

来自分类Dev

如何将一种类型的对象(接口)转换为另一种类型(接口)?

来自分类Dev

如何将音频文件从一种格式转换为另一种格式?

来自分类Dev

如何将一种类型的对象数组转换为另一种类型?

来自分类Dev

如何将 XML 输入从一种格式转换为另一种格式

来自分类Dev

如何将日期从一种文化转换为另一种文化?

来自分类Dev

在Shell中如何将字符串从一种形式替换为另一种形式

来自分类Dev

将PuTTY会话的颜色和字体从一种复制到另一种

来自分类Dev

如何将时区偏移量转换为另一种格式

来自分类Dev

如何将日期时间字符串转换为另一种格式

来自分类Dev

SQL:如何将行转换为列(需要另一种方法)

来自分类Dev

在BeautifulSoup中将一种标签替换为另一种标签

来自分类Dev

HTML / CSS:如何为列表项项目符号使用另一种字体

来自分类Dev

将日期转换为另一种格式

来自分类Dev

将一种格式的Erlang转换为另一种格式

来自分类Dev

将MySQL日期从一种格式转换为另一种格式

来自分类Dev

将图片从一种格式批量转换为另一种格式?

来自分类Dev

将时间戳从一种格式转换为另一种格式

Related 相关文章

  1. 1

    如何将一种字体的所有实例更改为另一种字体?

  2. 2

    将字形从另一种字体修补为一种字体

  3. 3

    如何将一种格式的json转换为另一种格式

  4. 4

    不用JavaScript就可以在悬停状态下将一种字体切换为另一种字体

  5. 5

    将字体从“系统”更改为另一种预装字体?

  6. 6

    如何将一种类型的CompletableFuture转换为另一种类型?

  7. 7

    如何将php对象数组从一种形式转换为另一种形式

  8. 8

    如何将嵌套对象从一种类型转换为另一种类型

  9. 9

    如何将一种数据类型转换为另一种

  10. 10

    如何将PPA用户从一种PPA转换为另一种PPA?

  11. 11

    如何将PPA用户从一种PPA转换为另一种PPA?

  12. 12

    如何将int值从一种方法转换为另一种方法

  13. 13

    如何将一种类型的对象(接口)转换为另一种类型(接口)?

  14. 14

    如何将音频文件从一种格式转换为另一种格式?

  15. 15

    如何将一种类型的对象数组转换为另一种类型?

  16. 16

    如何将 XML 输入从一种格式转换为另一种格式

  17. 17

    如何将日期从一种文化转换为另一种文化?

  18. 18

    在Shell中如何将字符串从一种形式替换为另一种形式

  19. 19

    将PuTTY会话的颜色和字体从一种复制到另一种

  20. 20

    如何将时区偏移量转换为另一种格式

  21. 21

    如何将日期时间字符串转换为另一种格式

  22. 22

    SQL:如何将行转换为列(需要另一种方法)

  23. 23

    在BeautifulSoup中将一种标签替换为另一种标签

  24. 24

    HTML / CSS:如何为列表项项目符号使用另一种字体

  25. 25

    将日期转换为另一种格式

  26. 26

    将一种格式的Erlang转换为另一种格式

  27. 27

    将MySQL日期从一种格式转换为另一种格式

  28. 28

    将图片从一种格式批量转换为另一种格式?

  29. 29

    将时间戳从一种格式转换为另一种格式

热门标签

归档