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

パネルのカスタマイズ

パネル設定ツールにアクセスするには、「起動」をクリックして、「設定」-> 「デスクトップの設定」-> 「パネル」の順に選択します。

パネル 設定ツールでは、パネルの動作を構成できます。パネル設定ツールで行なった変更は、すべてのパネルに影響します。

表 7–19 に、変更可能なパネル設定を示します。

表 7–19 パネルの設定

ダイアログ要素 

説明 

「ランチャーをクリックし引き出しを閉じる」

引き出し内のランチャーを選択したときに、パネル上のその引き出しを閉じる 

「引き出しとパネルのアニメーション」

アニメーションスタイルでパネルや引き出しを表示し、隠す 

「アニメーションの速度」

ドロップダウンリストから、パネルのアニメーション速度を選択する