From b5dac623ddbc69e58686959b92c2bf498de48e91 Mon Sep 17 00:00:00 2001
From: Andreas Schildbach <andreas@schildbach.de>
Date: Sat, 19 Oct 2024 19:36:55 +0200
Subject: [PATCH] PreferenceActivity: fix broken edge-to-edge layout in
 settings

---
 .../oeffi/preference/PreferenceActivity.java          | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/oeffi/src/de/schildbach/oeffi/preference/PreferenceActivity.java b/oeffi/src/de/schildbach/oeffi/preference/PreferenceActivity.java
index 182a1c0..faf02a1 100644
--- a/oeffi/src/de/schildbach/oeffi/preference/PreferenceActivity.java
+++ b/oeffi/src/de/schildbach/oeffi/preference/PreferenceActivity.java
@@ -19,6 +19,7 @@ package de.schildbach.oeffi.preference;
 
 import android.app.Activity;
 import android.content.Intent;
+import android.os.Bundle;
 import android.view.MenuItem;
 import de.schildbach.oeffi.R;
 
@@ -35,6 +36,16 @@ public class PreferenceActivity extends android.preference.PreferenceActivity {
         activity.startActivity(intent);
     }
 
+    @Override
+    public void onCreate(final Bundle savedInstanceState) {
+        super.onCreate(savedInstanceState);
+        findViewById(android.R.id.content).setOnApplyWindowInsetsListener((v, insets) -> {
+            v.setPadding(v.getPaddingLeft(), insets.getSystemWindowInsetTop(), v.getPaddingRight(),
+                    v.getPaddingBottom());
+            return insets;
+        });
+    }
+
     @Override
     public void onBuildHeaders(final List<Header> target) {
         loadHeadersFromResource(R.xml.preference_headers, target);