@Override public void dispose() { writeConfiguration(); super.dispose(); }
@Override public void dispose() { writeConfiguration(); super.dispose(); }
@Override public void dispose() { writeConfiguration(); super.dispose(); }
public void dispose() { if (this.comboListener != null) { this.combo.removeChangeListener(this.comboListener); } super.dispose(); }
public void dispose() { writeConfiguration(); super.dispose(); }
public void dispose() { writeConfiguration(); super.dispose(); }
public void dispose() { writeConfiguration(); super.dispose(); }
public void dispose() { // Make sure we remove ourself from the listener list to prevent widget // disposed errors. // It would be nice if we kept track of who we registered with, but // I'm not sure if it's worth the effort. Use brute force in its stead. for (Iterator it = Arrays.asList( ProfileManager.getInstance().getProfiles()).iterator(); it .hasNext();) { ((IConnectionProfile) it.next()).removePropertySetListener(this); } super.dispose(); }