Merge pull request #547 from emdete/p0

remove warning about <> cast
This commit is contained in:
Daniel Gultsch 2014-10-15 15:38:33 +02:00
commit 1927a3d99c

View file

@ -47,11 +47,11 @@ public class KnownHostsAdapter extends ArrayAdapter<String> {
@Override
protected void publishResults(CharSequence constraint,
FilterResults results) {
ArrayList<String> filteredList = (ArrayList<String>) results.values;
ArrayList filteredList = (ArrayList)results.values;
if (results != null && results.count > 0) {
clear();
for (String c : filteredList) {
add(c);
for (Object c : filteredList) {
add((String)c);
}
notifyDataSetChanged();
}
@ -71,4 +71,4 @@ public class KnownHostsAdapter extends ArrayAdapter<String> {
public Filter getFilter() {
return domainFilter;
}
}
}