From a21f009f9e0b40a093b8259d5435253336ea7b5f Mon Sep 17 00:00:00 2001
From: Graham Jones <grahamjones139@gmail.com>
Date: Sun, 6 Jan 2019 20:46:31 +0000
Subject: [PATCH] Fixed crash when you select the settings manu with a very
 crude hack - needs doing properly really!

---
 .../uk/org/openseizuredetector/PrefActivity.java    | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/app/src/main/java/uk/org/openseizuredetector/PrefActivity.java b/app/src/main/java/uk/org/openseizuredetector/PrefActivity.java
index f8f1f06..1282b34 100644
--- a/app/src/main/java/uk/org/openseizuredetector/PrefActivity.java
+++ b/app/src/main/java/uk/org/openseizuredetector/PrefActivity.java
@@ -157,8 +157,19 @@ public class PrefActivity extends PreferenceActivity implements SharedPreference
     }
 
     /**
-     * This fragment shows the preferences for the first header.
+     * FIXME - this just returns true so it is the same as for older versions of Android.
+     * We should really check that the fragmentName is one of the fragments defined below.
+     * @param fragmentName
+     * @return
      */
+    @Override
+    protected boolean isValidFragment(String fragmentName) {
+        return true;
+    }
+
+        /**
+         * This fragment shows the preferences for the first header.
+         */
     public static class GeneralPrefsFragment extends PreferenceFragment {
         @Override
         public void onCreate(Bundle savedInstanceState) {