試験運用中なLinux備忘録・旧記事

はてなダイアリーで公開していた2007年5月-2015年3月の記事を保存しています。

KDE 4.0.1のパネルについての覚え書き

Plasmaとその設定ファイル

KDE4のデスクトップマネージャは新しいPlasmaというものに置き換わっていて、新しいメニュー(KickOff)が採用*1されていたり、アナログ時計などのデスクトップアクセサリ(Plasmoid・プラズモイド)がデスクトップやパネルに配置できたりする。
http://web.archive.org/web/20080511223839/http://www.kde.org/announcements/4.0/desktop.php
も参照。

その設定は[ホームディレクトリ]/.kde/share/config/plasma-appletsrc(以下「設定ファイル」)というファイルに格納されていて、変更点は保存/復元される。

  1. Plasmaとその設定ファイル
  2. パネルのサイズ変更について
  3. KDE 4.0.xでパネルを消す/移動する
    1. パネルを消す
    2. パネルを移動する
  4. パネル内のプラズモイドを編集
  5. パネル外観の変更
  6. KDE 4.1のパネル

パネルのサイズ変更について

http://web.archive.org/web/20080511175810/http://techbase.kde.org/Projects/Plasma/FAQ#How_can_I_change_the_height_of_the_panel.3F
によると、KDE 4.0.2以上ではPlasmaを終了後、設定ファイルにサイズ指定の記述を追加することで変更されるようになるらしいが、手元の4.0.1(未対応?)ではうまくいかなかった。
上のページにもあるように、サイズ変更のGUIでの設定はバージョン4.0系(4.0.x)ではできないらしい。バージョン4.0系のKDEは「KDE4」の完成形ではないという認識を持っていたほうがよさそう。
http://web.archive.org/web/20080402124946/http://www.kdedevelopers.org/node/3174
のような記述もある。
4.1のリリースに関するスケジュールは
http://web.archive.org/web/20080317022245/http://techbase.kde.org/index.php?title=Schedules/KDE4/4.1_Release_Schedule
に書かれていて、夏の予定ではあるのだが、延びる可能性もある。

KDE 4.1 is the first feature release for KDE 4.

という記述にも注意。
(2008/4/4)パネルのサイズ変更に関しては、バージョン4.0.2から、下の「パネルを消す/移動する」の中で書いているファイルの同じセクションに

size=[サイズ]

を追加して設定反映することで可能となっていることを確認している。

KDE 4.0.xでパネルを消す/移動する

(2008/3/5)以下の設定を反映するにはPlasmaの終了/起動の処理が必要。「KDE 4.0.1のデスクトップやパネルの外観テーマの変更について」も参照。
設定ファイルの中に「plugin=panel」な「Containments」のセクションが存在する。

[Containments][2]
formfactor=2
geometry=0,968,1280,56
location=4
locked=false
plugin=panel
screen=0
transform=1,0,0,0,1,0,0,-1030,1

パネルを消す
上記部分に加え、「[Containments][2][Applets][3]」のような子プラズモイドの記述を全て消すと、パネルが消せる。しかし、代わりに、パネルに含まれていたプラズモイドを1つ1つ配置していくのは、使いにくいかもしれない。そういったことをせずに、すっきりさせたい(あるいはXfce4などのパネルを使用するなど)というのであれば、消してもよさそう。

パネルを移動する
「location」の部分の数字をいじくってみたところ、パネルの位置が移動し、値と位置には次のような関係があることが分かった。
locationの値とパネル位置の関係
locationの値パネル位置
3
4(既定)
5
6
左右にしても使いにくいため、「3」を指定して上に移動する場合にのみ有用な設定変更方法となりそう。なお、パネルを上にすると、マウスポインタを画面右上端に持っていったときの機能が使いにくくなってしまう。

パネル内のプラズモイドを編集

追加するにはデスクトップ右クリックの「ウィジェットを追加...」で出るダイアログの項目からパネル内の入れたい場所にドラッグ・アンド・ドロップ、削除は右クリックメニューでできる。
新しいメニューであるKickOffが使いにくい場合、これを右クリックして削除し、代わりに「アプリケーション起動メニュー」をここに入れるという作業を行えばよい。

パネル外観の変更

テーマによる外観の変更を機能として持っている。kde-look.orgの「Plasma Themes」からテーマをダウンロードしてインストールする。
www.kde-look.org/index.php?xcontentmode=76
なお、プラズモイドは
www.kde-look.org/index.php?xcontentmode=70
にある。

KDE 4.1のパネル

(2008/9/2)KDE 4.1では、設定ファイルを編集することなくパネルを移動することができるようになっている。横方向の位置・サイズ調整も可能だが、幅に関しては広げることはできても縮めることは難しい?
(2014/10/3)リンク先を多数修正

使用したバージョン:

*1:古い形式のものも用意されている