1年半まえにmint使ったけどファイルマネージャーの表示をコンパクトにすると
表示が消えてしまうバグがあったけど、どうなんかなあ。
解消されたら使ってみたい。