Java Desktop System Release 2 ユーザーズガイド

ワークスペースの名前を指定する

ワークスペースのデフォルトの名前は、ワークスペース 1ワークスペース 2ワークスペース 3 となります。 ワークスペースの名前を指定するには、ワークスペーススイッチで右クリックし、「設定」を選択します。 「ワークスペーススイッチの設定」ダイアログが表示されます。 「Workspaces names」リストボックスを使用して、ワークスペース名を指定します。 ワークスペースを選択し、次にそのワークスペースの新しい名前を入力します。