[Momonga-users.ja:00097] Re: which package has gnome-theme-properties

["Ken Deeter (Kentarou Shinohara)" <ktdeeter@xxxxxxxxxxxxxxxxxxxx>]

> 
> …えー、これ、最新は2.1.2なんですが、
> こいつをビルドするとgnome-theme-propertiesが付いてきません。
> 


最近のcontrol-centerではgnome-theme-propertiesではなくgnome-theme-
managerになったようです。

control-centerのspecを修正してcommitしておきました。(2.1.2-2m)しかし、
「デスクトップ設定」のThemeはまだgnome-theme-propertiesを指しているの
で、手動で修正するか、コマンドラインから立ち上げなければなりません。

gnome-theme-managerではアイコンテーマ、metacityの設定、gtk2のテーマの設
定が全部いっしょになってます。