[Xiaomi][MIUI] Xiaomi Mi5s にMIUI 10が来てた。

XiaomiのカスタムOSであるMIUI 10ですが、8月からいくつかの製品に対してローリングアップデートが行われてきましたが、Mi5sも予告通り11月になって公開になりました。

MIUI 14 -Xiaomi Global

MIUI is one of the most popular custom ROMs for Android. Vibrant UI, diverse personalization options, and useful feature...

en.miui.com

MIUI 14 -Xiaomi Global

MIUI is one of the most popular custom ROMs for Android. Vibrant UI, diverse personalization options, and useful feature...

en.miui.com

MIUI9から10へのアップデートなので、Android OSも込みであがるのかなーとか思っていましたが、OS自体は7.0から変わらず。

UIはとても変わり、また動作についてもだいぶ快適になったように思います。そういう意味では最適化は進んだのではないかと思います。

あと、ご多分に漏れずカメラのポートレートモードを使用する際に、AIを使用したボケが使えるようになる、みたいな記述があるのですが、今のところ使用する機会に恵まれていませんので、こちらも使用する機会があれば追記します。

追記：2018年11月20日

気が付いたことが。

一部のアプリで通知周りが変わったのか、通知音とLEDが点灯しない場合がありました。
具体的に言うとSlackです。改めて、通知音とLEDの点灯を設定ないといけませんでした（最初、slackの見逃しを伝えられてなんでかなーと思っておりました）。

トースターを長タップして「その他の設定」から設定を変更することができます。