ウィンドウマネージャを変える

使っているウィンドウマネージャは好きなときに変えられるよ。これには、GNOME コントロールセンターのウィンドウマネージャキャプレットを使う。このキャプレットについての詳細は 「GNOME コントロールセンター」という章のウィンドウマネージャキャプレットを見てね。