Java Desktop System Release 3 システム管理

新しいコントロールオプションをインストールする

コントロール設定に新しいオプションを追加できます。新しいオプションを追加するときは、テーマ設定ツールの「テーマの詳細」ダイアログでオプションを選択します。コントロールオプションは、/usr/share/themes ディレクトリにあります。ファイルシステムでのコントロールオプションの典型的なディレクトリ構造は、以下のとおりです。

オプションファイル

/usr/share/themes/option-name/gtk-2.0/gtkrc

イメージファイル

/usr/share/themes/option-name/pixmaps/*.*

一般的にコントロール設定の新しいオプションは、.tar.gz ファイルの形で提供されます。新しいコントロールオプションをインストールするには、.tar.gz ファイルを解凍して、.tar ファイルを /usr/share/themes ディレクトリに展開します。

ユーザーは、コントロール設定に対してユーザー定義のオプションもインストールできます。コントロール設定のオプションをインストールすると、そのオプションは $HOME/.themes ディレクトリに保存されます。