Merged. Switched back to name "Preferences" instead of "Settings".

[Dictionary.git] / src / com / hughes / android / dictionary / DictionaryManagerActivity.java

diff --git a/src/com/hughes/android/dictionary/DictionaryManagerActivity.java b/src/com/hughes/android/dictionary/DictionaryManagerActivity.java
index 74ac89500ce905f4a9eb14f652f15fe934d82c60..af50112dbc98f36ff15b0693e5ffd7b24cdf4bc3 100644 (file)
--- a/src/com/hughes/android/dictionary/DictionaryManagerActivity.java
+++ b/src/com/hughes/android/dictionary/DictionaryManagerActivity.java
@@ -154,8 +154,8 @@ public class DictionaryManagerActivity extends SherlockListActivity {
   protected void onResume() {
     super.onResume();
     
-    if (SettingsActivity.settingsMightHaveChanged) {
-      SettingsActivity.settingsMightHaveChanged = false;
+    if (PreferenceActivity.prefsMightHaveChanged) {
+        PreferenceActivity.prefsMightHaveChanged = false;
       finish();
       startActivity(getIntent());
     }