ドッキング可能なウィンドウの動作およびJDeveloperの4つのドッキング領域(上、下、左、右)の形状を設定する際に使用します。
このオプションの変更は、すでに開いているウィンドウではなく、新規のウィンドウについてのみ有効になります。
キーボードで[Tab]を押すと四隅を順に移動し([Tab]を使用するとダイアログ・ボタンやチェック・ボックスへも移動します)、[Space]を押すと特定の隅の方向が変わります。
Copyright © 1997, 2004, Oracle. All rights reserved.