package com.hughes.android.dictionary;
-import com.hughes.android.dictionary.DictionaryInfo.IndexInfo;
-import com.hughes.android.util.IntentLauncher;
-
import android.app.ListActivity;
import android.content.Intent;
import android.content.SharedPreferences;
import android.widget.LinearLayout;
import android.widget.TextView;
+import com.hughes.android.dictionary.DictionaryInfo.IndexInfo;
+import com.hughes.android.util.IntentLauncher;
+
import java.io.File;
import java.util.ArrayList;
import java.util.List;
protected void onResume() {
super.onResume();
- if (PreferenceActivity.prefsMightHaveChanged) {
- PreferenceActivity.prefsMightHaveChanged = false;
+ if (SettingsActivity.settingsMightHaveChanged) {
+ SettingsActivity.settingsMightHaveChanged = false;
finish();
startActivity(getIntent());
}