equal
deleted
inserted
replaced
1530 |
1530 |
1531 return super.lazilyLoadDesktopProperty(name); |
1531 return super.lazilyLoadDesktopProperty(name); |
1532 } |
1532 } |
1533 |
1533 |
1534 public synchronized void addPropertyChangeListener(String name, PropertyChangeListener pcl) { |
1534 public synchronized void addPropertyChangeListener(String name, PropertyChangeListener pcl) { |
|
1535 if (name == null) { |
|
1536 // See JavaDoc for the Toolkit.addPropertyChangeListener() method |
|
1537 return; |
|
1538 } |
1535 initXSettingsIfNeeded(name); |
1539 initXSettingsIfNeeded(name); |
1536 super.addPropertyChangeListener(name, pcl); |
1540 super.addPropertyChangeListener(name, pcl); |
1537 } |
1541 } |
1538 |
1542 |
1539 /** |
1543 /** |