fluxboxとRoxのピンボード

apt-getでfluxboxがバージョン1.0-0vl0.rc3.1にアップデートされた後、Roxのピンボードの動作がおかしくなった。ピンボードがひとつのワークスペースでしか動作していない。そのため、ワークスペースを切替えると背景やデスクトップアイコンが全て消えて、素のfluxboxの画面が表示される。
どうやら、fluxboxがRoxのピンボードを普通のウィンドウとして扱うのが原因らしい。
解決するには、Roxの「オプション設定」の「互換性」で「ピンボードとパネルの制御をウィンドウマネージャの支配下に置かない」にチェックを入れれば良い。これで全てのワークスペースでRoxのピンボードが有効になる。