Fix layout of preferences activity on Android 35

* java/org/gnu/emacs/EmacsPreferencesActivity.java (onCreate):
Align list view to system windows.

(cherry picked from commit eace68a325b96d12188ea8d673f30bad1354b916)

diff --git a/java/org/gnu/emacs/EmacsPreferencesActivity.java b/java/org/gnu/emacs/EmacsPreferencesActivity.java
index a3edd6388b4916346fe056bb4fd093cc230c8674..128d0b22658dfd29843aaf0e6d6a6d481f31d11d 100644 (file)
--- a/java/org/gnu/emacs/EmacsPreferencesActivity.java
+++ b/java/org/gnu/emacs/EmacsPreferencesActivity.java
@@ -28,6 +28,8 @@ import android.content.Intent;
 import android.os.Bundle;
 import android.os.Build;
 
+import android.view.View;
+
 import android.widget.Toast;
 
 import android.preference.*;
@@ -115,6 +117,7 @@ public class EmacsPreferencesActivity extends PreferenceActivity
   {
     Preference tem;
     Preference.OnPreferenceClickListener listener;
+    View view;
 
     if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.LOLLIPOP)
       setTheme (android.R.style.Theme_DeviceDefault_Settings);
@@ -167,5 +170,13 @@ public class EmacsPreferencesActivity extends PreferenceActivity
       };
 
     tem.setOnPreferenceClickListener (listener);
+
+    if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.VANILLA_ICE_CREAM)
+      {
+       /* Align the list view to system windows, or they will be
+          obstructed by the title bar.  */
+       view = this.getListView ();
+       view.setFitsSystemWindows (true);
+      }
   }
 };