10.5.5 マップエリアの背景イメージを変更する

[ジョブネットエディタ]ウィンドウのマップエリアの背景イメージを設定できます。

指定場所
JP1/AJS2 - View上のファイル
詳細については,「10.1.1 カスタマイズの方法」を参照してください。
指定内容
次の形式で指定します。
jajsMapBackGroundPixmap=背景に使いたいファイル名(改行)
指定例
マップエリアの背景として,¥tmp¥japanmap.gifを使用します。
jajsMapBackGroundPixmap=c:¥¥tmp¥¥japanmap.gif(改行)
注意事項
  • 「背景に使いたいファイル名」に指定できるファイルは,拡張子が「.gif」および「.jpg」のファイルに限ります。
  • ファイルパスの区切り文字には,「/」または「¥¥(円記号二つ)」を使用してください。
  • ファイルパスおよびファイル名には,日本語および2バイト文字は指定できません。指定しても無効になります。
  • マップエリアの背景を変更すると,システムのリソース不足や性能低下などが発生することがあります。
  • カスタマイズによる壁紙の設定では,指定したイメージファイルがすべてのジョブネットの[ジョブネットエディタ]ウィンドウ,および[ジョブネットモニタ]ウィンドウのマップエリアに表示されます。ユニットごとに異なるイメージを壁紙として設定したい場合は,[壁紙の設定]ダイアログボックスで設定してください。[壁紙の設定]ダイアログボックスの詳細については,「13.4.6 [壁紙の設定]ダイアログボックス」を参照してください。
  • カスタマイズによる壁紙の設定と[壁紙の設定]ダイアログボックスによる壁紙の設定が混在する場合は,[壁紙の設定]ダイアログボックスの設定が優先的に表示されます。