いままで Linux Mint 19.1 Cinnamon を常用していたのですが、MATE デスクトップを使ってみたくなりました。 「ソフトウェアの管理」から Mate-desktop-environment をインストールすることで簡単に導入できたのですが、ティアリングが発生するようになって…