Let user change server hostname/port
[fonbot.git] / src / ro / ieval / fonbot / FonBotPreferenceActivity.java
index 848a4369aa8a530e688e0fe643724326733a702e..8754825fb430e1f892296b3a009f53f97f7da8e8 100644 (file)
@@ -10,6 +10,7 @@ import android.content.Intent;
 import android.content.pm.ApplicationInfo;
 import android.os.Bundle;
 import android.preference.CheckBoxPreference;
+import android.preference.EditTextPreference;
 import android.preference.Preference;
 import android.preference.Preference.OnPreferenceChangeListener;
 import android.preference.PreferenceActivity;
@@ -137,6 +138,37 @@ public final class FonBotPreferenceActivity extends PreferenceActivity {
                                return true;
                        }
                });
+
+               final EditTextPreference hostnamePreference=(EditTextPreference) findPreference("hostname");
+               hostnamePreference.setSummary(hostnamePreference.getText());
+               hostnamePreference.setOnPreferenceChangeListener(new OnPreferenceChangeListener() {
+                       @Override
+                       public boolean onPreferenceChange(final @Nullable Preference preference, final @Nullable Object newValue) {
+                               if(newValue==null)
+                                       return false;
+
+                               hostnamePreference.setSummary(newValue.toString());
+                               return true;
+                       }
+               });
+
+               final EditTextPreference portPreference=(EditTextPreference) findPreference("port");
+               portPreference.setSummary(portPreference.getText());
+               portPreference.setOnPreferenceChangeListener(new OnPreferenceChangeListener() {
+                       @Override
+                       public boolean onPreferenceChange(final @Nullable Preference preference, final @Nullable Object newValue) {
+                               if(newValue==null)
+                                       return false;
+
+                               try{
+                                       Integer.parseInt(newValue.toString());
+                               } catch (NumberFormatException e){
+                                       return false;
+                               }
+                               portPreference.setSummary(newValue.toString());
+                               return true;
+                       }
+               });
        }
 
        @Override
This page took 0.009985 seconds and 4 git commands to generate.