色番号の読み替え

色を用いたべた塗り(下位3桁が999であるようなトーンパターン番号) による塗りわけをおこなうとき, 色番号をドットなどのパターン番号として読みかえることができる. 内部変数'ENABLE_COLOR_SUBSTITUTION'.TRUE.のときは読みかえる; .FALSE.のときは読みかえない (初期値は.FALSE.). ただし, 色を用いた塗りわけができないような装置では, 'ENABLE_COLOR_SUBSTITUTION'.FALSE.と設定されていても, パターン番号による読みかえをおこなおうとする.