import android.os.Bundle;\r
\r
public class PreferenceActivity extends android.preference.PreferenceActivity {\r
+ \r
+ static boolean prefsMightHaveChanged = false;\r
+ \r
@Override\r
public void onCreate(Bundle savedInstanceState) {\r
((DictionaryApplication)getApplication()).applyTheme(this);\r