デスクトップ マネージャーは、使いやすい仮想デスクトップ マネージャーです。ホットキー、(マウスを使用)、画面の端でまたはアプリケーション ドックを介して行うことができますデスクトップを切り替える際の過渡的な効果をサポートします。ページャーは、デスクトップのステータス バーに利用可能です。