ワークスペースの操作

この節では、ワークスペースの操作方法について説明します。

ワークスペースを切り替える

ワークスペース間の切り替えは、次の方法で行えます。

• ワークスペーススイッチを使用

  ワークスペーススイッチで、切り替え先のワークスペースをクリックします。

• ショートカットキーを使用

  ワークスペース間を切り替えるデフォルトのショートカットキーは、以下のとおりです。

  デフォルトのショートカットキー	機能
  Ctrl + Alt + 右矢印	右側のワークスペースを選択
  Ctrl + Alt + 左矢印	左側のワークスペースを選択

ワークスペースを追加する

ワークスペースを Java Desktop System に追加するには、ワークスペーススイッチで右クリックし、「設定」を選択します。「ワークスペーススイッチの設定」ダイアログが表示されます。「ワークスペースの数」スピンボックスを使用して、追加するワークスペースの数を指定します。ワークスペーススイッチは、新しいワークスペースをワークスペースリストの末尾に追加します。

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

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

ワークスペースを削除する

ワークスペースを削除する場合、そのワークスペース上のウィンドウは別のワークスペースに移動され、空のワークスペースが削除されます。

ワークスペースを Java Desktop System から削除するには、ワークスペーススイッチで右クリックし、「設定」を選択します。「ワークスペーススイッチの設定」ダイアログが表示されます。「ワークスペースの数」スピンボックスを使用して、追加するワークスペースの数を指定します。ワークスペーススイッチは、ワークスペースリストの末尾からワークスペースを削除します。