From http://www.jwz.org/xscreensaver/xscreensaver-5.31.tar.gz

[xscreensaver] / android / project / xscreensaver / src / org / jwz / xscreensaver / gen / HilbertSettings.java

diff --git a/android/project/xscreensaver/src/org/jwz/xscreensaver/gen/HilbertSettings.java b/android/project/xscreensaver/src/org/jwz/xscreensaver/gen/HilbertSettings.java
new file mode 100644 (file)
index 0000000..ec0378a
--- /dev/null
+++ b/android/project/xscreensaver/src/org/jwz/xscreensaver/gen/HilbertSettings.java
@@ -0,0 +1,30 @@
+package org.jwz.xscreensaver.gen;
+import org.jwz.xscreensaver.R;
+import android.content.SharedPreferences;
+import android.os.Bundle;
+import android.preference.PreferenceActivity;
+public class HilbertSettings extends PreferenceActivity
+    implements SharedPreferences.OnSharedPreferenceChangeListener {
+    @Override
+    protected void onCreate(Bundle icicle) {
+        super.onCreate(icicle);
+        getPreferenceManager().setSharedPreferencesName(
+            HilbertWallpaper.SHARED_PREFS_NAME);
+        addPreferencesFromResource(R.xml.hilbert_settings);
+        getPreferenceManager().getSharedPreferences().registerOnSharedPreferenceChangeListener(
+            this);
+    }
+    @Override
+    protected void onResume() {
+        super.onResume();
+    }
+    @Override
+    protected void onDestroy() {
+        getPreferenceManager().getSharedPreferences().unregisterOnSharedPreferenceChangeListener(
+            this);
+        super.onDestroy();
+    }
+    public void onSharedPreferenceChanged(SharedPreferences sharedPreferences,
+                                          String key) {
+    }
+}