|
Lines 807-814
Link Here
|
| 807 |
IEclipsePreferences preferences = getStorePreferences(); |
807 |
IEclipsePreferences preferences = getStorePreferences(); |
| 808 |
if (preferences == null) |
808 |
if (preferences == null) |
| 809 |
return; |
809 |
return; |
| 810 |
if (preferencesListener != null) |
810 |
if (preferencesListener != null) { |
| 811 |
preferences.removePreferenceChangeListener(preferencesListener); |
811 |
preferences.removePreferenceChangeListener(preferencesListener); |
|
|
812 |
preferencesListener= null; |
| 813 |
} |
| 812 |
} |
814 |
} |
| 813 |
|
815 |
|
| 814 |
} |
816 |
} |
