1
0
Fork 0
mirror of https://github.com/gsantner/dandelion synced 2024-11-25 13:52:08 +01:00
This commit is contained in:
vanitasvitae 2016-08-19 13:54:03 +02:00
parent 7f7116e843
commit c3006f9fb2

View file

@ -80,6 +80,9 @@ public class SettingsActivity extends PreferenceActivity {
key.equals(getString(R.string.pref_key__font_size)) || key.equals(getString(R.string.pref_key__font_size)) ||
key.equals(getString(R.string.pref_key__load_images)) || key.equals(getString(R.string.pref_key__load_images)) ||
key.equals(getString(R.string.pref_key__intellihide_toolbars)) || key.equals(getString(R.string.pref_key__intellihide_toolbars)) ||
key.equals(getString(R.string.pref_key__proxy_enabled)) ||
key.equals(getString(R.string.pref_key__proxy_host)) ||
key.equals(getString(R.string.pref_key__proxy_port)) ||
key.startsWith("pref_key__visibility_nav__"))) { key.startsWith("pref_key__visibility_nav__"))) {
((SettingsActivity) getActivity()).setActivityRestartRequired(true); ((SettingsActivity) getActivity()).setActivityRestartRequired(true);
} }