csdをonにしたデスクトップだけどjdimはデスクトップ設定に関係なくoffがいい
逆にcsdがoffのデスクトップだけどjdimはonにしたい
…みたいなパターンがなければgtkの設定ファイル一つで間に合うはず
個人設定を上書きするデスクトップがあると破綻するけどそんなのないよね？
csdをonにしたデスクトップだけどjdimはデスクトップ設定に関係なくoffがいい
逆にcsdがoffのデスクトップだけどjdimはonにしたい
…みたいなパターンがなければgtkの設定ファイル一つで間に合うはず
個人設定を上書きするデスクトップがあると破綻するけどそんなのないよね？