[ユーザのオプション] ウィンドウ

オプション設定を変更した場合、直ちに有効になる設定もあれば、データベースを再起動しなければ有効にならない設定もあります。

このウィンドウには次の項目があります。

[ユーザ] 選択されているユーザの名前が表示されます。
[表示] オプションタイプのリストが表示されます。たとえば、[データベースオプション] を選択すると、データベースに関連するオプションのみが [オプション] リストに表示されます。
[オプション] リスト [表示] リストで選択したオプションのタイプに基づいて、オプションの設定とデフォルト値が表示されます。
[値] [オプション] リストからオプションを選択し、[値] フィールドで設定を入力または選択します。[恒久的な設定を行う] をクリックすると、恒久的な設定にできます。ただし、オプションに PUBLIC ロールの設定をしていないと、個々のユーザ ID にそのオプション値を設定することはできません。

オプションの選択を終えたら、ウィンドウの横にあるボタンを使用できます。

[新規] このボタンは、PUBLIC ロールのオプションを設定している場合のみ有効になります。
[すぐに削除] このボタンは、オプションが選択されている場合に PUBLIC ロールに対して有効になります。このボタンは、[設定] カラムに値が存在する場合に非 PUBLIC のロールとユーザに対して有効になります。
[恒久的な設定を行う] ユーザの設定を恒久的に変更するには、設定を [値] フィールドに入力し、[恒久的な設定を行う] をクリックします。