@ -57,10 +63,25 @@ public class RssfeedSettingsActivity extends KeyBoundPreferencesActivity {
@@ -57,10 +63,25 @@ public class RssfeedSettingsActivity extends KeyBoundPreferencesActivity {
@ -47,7 +53,7 @@ public class ServerSettingsActivity extends KeyBoundPreferencesActivity {
@@ -47,7 +53,7 @@ public class ServerSettingsActivity extends KeyBoundPreferencesActivity {
@ -82,12 +88,28 @@ public class ServerSettingsActivity extends KeyBoundPreferencesActivity {
@@ -82,12 +88,28 @@ public class ServerSettingsActivity extends KeyBoundPreferencesActivity {
@ -56,10 +62,25 @@ public class WebsearchSettingsActivity extends KeyBoundPreferencesActivity {
@@ -56,10 +62,25 @@ public class WebsearchSettingsActivity extends KeyBoundPreferencesActivity {