ThemeRef-FilterProperties
このツールは、テーマを編集する別の手段です。カテゴリーフィルタグループまたはプロパティタイプフィルタグループのチェックボックスをつかて、テーマのプロパティグループを簡単に追加または削減することができます。
また、ツリーのプロパティやブランチ部分で右クリックして、ショートカットメニューから削除を選択することもできます。フォルダ(ツリーノード)のアイコンを右クリックしてコンテクストメニューから追加を選択し、ツリーにプロパティ/ブランチを追加することができます。プロパティを削除または追加したあと、上記の総数が自動的に更新されます。
また、ショートカットメニューを使って選択したノードを展開または折りたたむことができます。