.DEFS ファイル拡張子
BlueJ設定ファイル
| 開発元 | University of Kent |
| 人気度 |
3.6 | 5 票 |
DEFSファイルとは？
BlueJ用に作成された設定ファイルです。Java開発環境であるBlueJのプログラムに関する、使用する言語やライブラリの場所などの管理者設定が含まれています。
詳細情報
BlueJの設定を変更するには、次の2つの方法があります。
- ユーザーオプションを変更するには、アプリケーションを開いた状態で、メニューバーからBlueJを選択し、次にPreferences...を選択します。このダイアログボックスで設定を変更できます。
- 管理者オプションを変更するには、次の場所にあるファイルを開きます。BLUEJ_HOME/lib/bluej.defsMacの場合は、BlueJアプリケーションを右クリックしてShow Package Contentsを選択し、次にContents、Resources、Javaの順に選択します。すると、bluej.defsファイルとその他のDEFSファイルが表示されます。
DEFSファイルを開くと、次の形式のプロパティ一覧が含まれています。property-name = value
プロパティ名は変更しないでください。ただし、値を変更して設定を変更することはできます。
一般的な.DEFSファイル名
bluej.defs - BlueJプログラムにあるデフォルト設定ファイルです。