パネルの設定を変更する

すべてのパネルの設定を変更するには、「アプリケーション」-> 「デスクトップ設定」-> 「拡張設定」-> 「パネル」を選択し、必要な変更を行います。たとえば、パネルオブジェクトの外観および動作に関連するさまざまな設定を指定できます。

個々のパネルに対して、それぞれ設定を変更することもできます。パネルのタイプ、隠す場合の動作、視覚的な外観など、各パネルの特長を変更することができます。

メニューパネルの設定は変更できません。

パネルの設定を変更するには、次の手順を実行します。

1. パネル上の空いているスペースで右クリックし、「設定」を選択して「パネルの設定」ダイアログを表示します。次の図に、画面下部にあるエッジパネルの「パネルの設定」ダイアログを示します。

   

   「パネルの設定」ダイアログには、次のタブセクションがあります。

   • 「Panel-type パネル」

   • 「背景」

2. パネルサイズ、位置、およびパネルを隠す場合の設定を変更するには、「Panel-type パネル」タブをクリックします。次の表に、「Panel-type パネル」タブセクションのダイアログ要素を示します。

   ダイアログ要素	説明
   「位置」	画面上のパネルの位置を選択。パネルの変更位置をクリックする
   「サイズ」	パネルのサイズを選択する
   「水平表示」	フロートパネルのみ。パネルを横長に表示する場合には、このオプションを選択する
   「垂直表示」	フロートパネルのみ。パネルを縦長に表示する場合には、このオプションを選択する
   「水平オフセット」	フロートパネルのみ。スピンボックスを使用して、画面のレフトエッジからのパネルの距離を指定する
   「垂直オフセット」	フロートパネルのみ。スピンボックスを使用して、画面のトップエッジからのパネルの距離を指定する
   「エッジオフセット」	スライドパネルのみ。スピンボックスを使用して、パネルと画面のエッジとの間の距離をピクセル単位で指定する
   「自動的に隠す」	自動的に隠すを有効にする
   「非表示ボタンを表示」	パネル上で非表示ボタンを表示する
   「非表示ボタンを矢印表示」	非表示ボタンが有効な場合に、非表示ボタン上に矢印を表示する

3. パネル背景を変更する場合は、「背景」タブをクリックします。「背景」タブセクションには、次の要素が含まれています。

   ダイアログ要素	説明
   「背景の種類」	パネルの背景のタイプを選択する。選択は次のとおり  「デフォルト」: デフォルトの背景タイプ。標準の背景は、「アプリケーション」-> 「デスクトップ設定」-> 「テーマ」の設定により異なる 「色」: パネル背景の色を選ぶことができる 「画像」: パネル背景の画像を選ぶことができる
   「背景の色」	「背景の種類」で「色」を選択した場合、「背景の色」ボタンをクリックして、「色の選択」ダイアログを表示する。任意の色を「色の選択」ダイアログから選ぶ
   「画像」	「背景の種類」で「画像」を選択した場合、パネルの背景で使用する画像を選ぶ。画像背景には、次の設定を指定する
   	「画像の表示サイズを変更しない」	背景の画像をそのまま貼り付ける
   	「画像の表示サイズを変更する」	背景画像をパネル背景に合うようにサイズをスケールする。画像の幅対高さの比率は維持される
   	「画像を引き延ばす」	背景画像をパネル背景に合うように引き伸ばす。画像の幅対高さの比率は維持されない
   	「パネルが縦向きのときに画像を回転する」	縦型パネル上の背景画像を回転する

   色または画像をパネルにドラッグして、それをパネルの背景として設定することもできます。詳細については、パネルの背景に色または画像をドラッグするを参照してください。

4. 「閉じる」をクリックして、「パネルの設定」ダイアログを閉じます。