0641login:Penguin垢版2020/12/28(月) 14:12:35.93ID:xEuAh2+b >>640 /usr/share/applicationsに入れられるデスクトップ設定ファイルで専用アイコン決め打ちになっているので テーマの変更では無理 *.desktop いじったりしても変えられるけどmenulibreでアイコン変えるのが手軽