X-Git-Url: http://git.hungrycats.org/cgi-bin/gitweb.cgi?p=xscreensaver;a=blobdiff_plain;f=android%2Fproject%2Fxscreensaver%2Fsrc%2Forg%2Fjwz%2Fxscreensaver%2Fgen%2FHilbertSettings.java;fp=android%2Fproject%2Fxscreensaver%2Fsrc%2Forg%2Fjwz%2Fxscreensaver%2Fgen%2FHilbertSettings.java;h=0000000000000000000000000000000000000000;hp=ec0378a7574e79afc28c37ca94256b73003168ee;hb=d1ae2829ff0fd2a96c16a0c8c5420efaa47d7b30;hpb=7edd66e6bd3209013ee059819747b10b5835635b

diff --git a/android/project/xscreensaver/src/org/jwz/xscreensaver/gen/HilbertSettings.java b/android/project/xscreensaver/src/org/jwz/xscreensaver/gen/HilbertSettings.java
deleted file mode 100644
index ec0378a7..00000000
--- a/android/project/xscreensaver/src/org/jwz/xscreensaver/gen/HilbertSettings.java
+++ /dev/null
@@ -1,30 +0,0 @@
-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) {
-    }
-}