上位概念: Android
Android 用のオープンソースのメールアプリ
プッシュ通知を有効にする方法
プッシュ通知を有効にするのに一手間必要なので記録しておく
アプリのメニュー > 設定 > (自分のアカウント) > メール受信 > プッシュフォルダ
デフォルトでは「なし」になっているので「1st クラスフォルダのみ」に変更する
1st クラスフォルダについては Folder classes - K-9 Mail を参照。簡単にいうと、フォルダに対してユーザが設定できる値である。
表示クラス、同期クラス、プッシュクラス、通知クラスの4つの項目に対して、なし、1st、2ndの3種類の値を設定できる。そして、表示、同期、通知などの際に設定した値が参照される。このようにして K-9 Mail の動作を細かくカスタマイズできる。
とはいえ、デフォルト設定でいい感じになっているはずなのでわざわざ設定しなくても良い。少なくともプッシュ通知は期待通りに機能する。