WOLFRAM言語チュートリアル

フロントエンドのグローバルなオプション

標準のノートブックフロントエンドでは多様でグローバルなオプションを設定することができる.これらのオプションの値はデフォルトで「初期設定ファイル」に保存されていて,Wolframシステムを起動するたびに読み込まれる.これらのオプションには,環境設定ダイアログを使って操作できる設定がすべて含まれている.

スタイルの定義新しいノートブックのデフォルトのスタイル定義
ファイルの保管場所ノートブックとシステムファイルの検索パス
データのエキスポート設定さまざまなフォーマットでのデータの書出し
コード規格設定特殊記号のコード
言語設定テキストに使う言語
メッセージ設定Wolframシステムによって生成されたメッセージの取扱い
ダイアログ設定ダイアログボックスの選択値
システム設定システムの環境設定

フロントエンドのグローバルオプションのカテゴリ

カーネルからOptions[$FrontEnd,name]を使ってフロントエンドのグローバルオプションにアクセスできる.しかし,多くの場合,フロントエンドの「オプションインスペクタ」を使って対話的にこれらのオプションを設定する.