Bug 73127 [Encoding] Expecting resource delta if workbench encoding changes
I20040901 We now get a resource delta if the explicit encoding of a file or (if not explicitly set or extracted from file) its parent container's encoding changes. If all parent containers use workbench encoding then the workbench encoding gets used but no resource delta is sent for that file if the workbench encoding changes. This forces clients which need to handle encoding changes to listen for resource deltas and UI property change events.
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/ide/IDEEncoding.java
* Set the resource encoding to be value. Add the encoding to the list of
	 * encodings stored by the workbench.
	 * 
	 * @param value
	 *            String or <code>null</code> if the preference is to be reset
	 *            to the default.
	 */
	public static void setResourceEncoding(String value) {
		
		Preferences resourcePrefs = ResourcesPlugin.getPlugin()
				.getPluginPreferences();
		if (value == null)
			resourcePrefs.setToDefault(ResourcesPlugin.PREF_ENCODING);
		else {
			resourcePrefs.setValue(ResourcesPlugin.PREF_ENCODING, value);
			addIDEEncoding(value);
		}
		ResourcesPlugin.getPlugin().savePluginPreferences();
	}
	/**
	 * Add value to the list of workbench encodings.
	 * 
	 * @param value
	 */
	public static void addIDEEncoding(String value) {
		
		if(WorkbenchEncoding.getDefinedEncodings().contains(value))
			return;
		
		String[] currentEncodings = getIDEEncodingsPreference();