TeX Tools の設定

ツール「TeX Tools の設定」、もしくはツールパレットのボタンにより、TeX Tools の設定画面を呼び出せます。

設定の変更はすぐさま保存されます。

「デフォルト設定に戻す」ボタンを押すと、変更された設定はすべて破棄され初期設定の状態に戻ります。

ターミナルの設定

ポップアップメニュー「ターミナル設定」では、ターミナル.app で管理されている設定名の一覧が表示されます。好きなものを選んでください。シェルや色などのカスタマイズはターミナルで管理されている設定を変更することによって行ってください。

初期実行コマンドはターミナルのウインドウが開かれる時に、一番最初に一度だけ実行されるコマンドです。シェルの設定コマンド等を書いておくことができます。初期状態では

source ~/Library/Preferences/mi/mode/TEX/initialize.sh

を実行する設定になっています。

チェックボックス「ターミナルウィンドウをアクティブにする」を ON にすると、ターミナルでコマンドを実行する際にターミナルウィンドウを自動的に全面に持ってきます。

TeX コマンドの設定

ツールコマンド

タイプセット
タイプセット&プレビュー
ebb を実行
DVI を PDF に変換
DVI を PS に変換
BibTeX を実行
mendex を実行

を実行した時に実行されるコマンドを設定します。コマンドのオプションもここで設定して下さい。実行ファイルがシェルの環境変数 PATH で設定されている場所にない場合は、コマンドをフルパスで（/usr/local/bin/platex など）設定してください。

プレビューアの設定

DVI プレビュー

「Finder で開く」を選択すると Finder で設定されたデフォルトアプリケーションで DVI ファイルを開きます。

「Mxdvi を使う」を選択すると、Mxdvi で DVI ファイルを開きます。

「xdvi を使う」を選んだ場合、テキストフィールドのコマンドが実行されます。また、起動したターミナルの環境変数 PATH に xdvi が存在するパスが含まれている必要があります。

「PictPrinter を使う」を選択すると、PictPrinter で DVI ファイルを開きます。

「PictPrinter を使う」, 「Mxdvi を使う」, 「xdvi を使う」のいずれかを選択すると、source special 機能を使って、ソースファイル ⇔ DVI ファイルの間で、それぞれから対応する箇所にジャンプする事ができます。詳しくは、「DVI ファイルをプレビューする」を参照して下さい。