8.6　ファンクションキーに関する設定

キーボード上の特定のキーまたは複数のキーの組み合わせ（ファンクションキー）に対して，そのキーを押したときに発生するイベント（ファンクション）の割り当てを，必要に応じてカスタマイズできます。また，ファンクションキーを使用するかどうかを指定できます。

ファンクションキーの割り当ては，［表示・印刷セットアップ］ダイアログの［ファンクションキー］タブで設定します。

OSごとの設定可否については，「8.1.3　設定項目の一覧」を参照してください。UNIXの場合は，環境設定ファイルで設定します。