477 public int hashCode() {
478 return props.hashCode();
479 }
480
481 public boolean isEmpty() {
482 return props.isEmpty();
483 }
484
485 public Set<String> keySet() {
486 return props.keySet();
487 }
488
489 public String put(String key, String value) {
490 String oldValue = props.get(key);
491 if (oldValue == null || !oldValue.equals(value)) {
492 preferences.setPreference(key, value);
493 }
494 return oldValue;
495 }
496
497 public void putAll(Map m) {
498 throw new UnsupportedOperationException();
499 }
500
501 public String remove(Object key) {
502 throw new UnsupportedOperationException();
503 }
504
505 public int size() {
506 return props.size();
507 }
508
509 public Collection<String> values() {
510 return props.values();
511 }
512 };
513
514 for (int i = 0; i < panes.length; i++) {
515 panes[i].save(m);
516 }
517 }
|
477 public int hashCode() {
478 return props.hashCode();
479 }
480
481 public boolean isEmpty() {
482 return props.isEmpty();
483 }
484
485 public Set<String> keySet() {
486 return props.keySet();
487 }
488
489 public String put(String key, String value) {
490 String oldValue = props.get(key);
491 if (oldValue == null || !oldValue.equals(value)) {
492 preferences.setPreference(key, value);
493 }
494 return oldValue;
495 }
496
497 public void putAll(Map<? extends String, ? extends String> m) {
498 throw new UnsupportedOperationException();
499 }
500
501 public String remove(Object key) {
502 throw new UnsupportedOperationException();
503 }
504
505 public int size() {
506 return props.size();
507 }
508
509 public Collection<String> values() {
510 return props.values();
511 }
512 };
513
514 for (int i = 0; i < panes.length; i++) {
515 panes[i].save(m);
516 }
517 }
|