From b62d56d81618495b4e3badf41085c8bfd2ef1fd4 Mon Sep 17 00:00:00 2001
From: M66B <M66B@users.noreply.github.com>
Date: Sun, 24 Jan 2021 21:14:03 +0100
Subject: [PATCH] Small improvements

---
 app/src/main/java/eu/faircode/email/FragmentOptions.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/app/src/main/java/eu/faircode/email/FragmentOptions.java b/app/src/main/java/eu/faircode/email/FragmentOptions.java
index e71a9d43b7..dc204c055a 100644
--- a/app/src/main/java/eu/faircode/email/FragmentOptions.java
+++ b/app/src/main/java/eu/faircode/email/FragmentOptions.java
@@ -57,12 +57,14 @@ import androidx.viewpager.widget.ViewPager;
 
 import com.google.android.material.tabs.TabLayout;
 
+import org.jetbrains.annotations.NotNull;
+
 public class FragmentOptions extends FragmentBase {
     private ViewPager pager;
     private PagerAdapter adapter;
     private String searching = null;
 
-    private static int[] TAB_PAGES = {
+    private static final int[] TAB_PAGES = {
             R.layout.fragment_setup,
             R.layout.fragment_options_synchronize,
             R.layout.fragment_options_send,
@@ -377,6 +379,7 @@ public class FragmentOptions extends FragmentBase {
             return 10;
         }
 
+        @NotNull
         @Override
         public Fragment getItem(int position) {
             switch (position) {