2004-12-16 xfce xfce の 4.2RC2 が出ていた。RC1 から入れ換えてみる。Fedora 用 rpm があるので極簡単。以前使っていたあれやこれやの国産ディストリだとこうは行かなかった。 RC1 ではセッション終了時に「電源を切る」を選択してパスワードを入れると固まってしまったが(!)、 RC2 では無事に電源が切れた。