/*
* (non-Javadoc)
*
* @see org.eclipse.ui.editors.text.DefaultEncodingSupport#getEncoding ()
*/
public String getEncoding() {
IEncodingSupport delegate = getEncodingSupportDelegate();
if (delegate != null) {
return delegate.getEncoding();
}
return super.getEncoding();
}
/*
* (non-Javadoc)
*
* @see org.eclipse.ui.editors.text.DefaultEncodingSupport#setEncoding (java.lang.String, boolean)
*/
protected void setEncoding(String encoding, boolean overwrite) {
super.setEncoding(encoding, overwrite);
IEncodingSupport delegate = getEncodingSupportDelegate();
if (delegate != null && overwrite) {
delegate.setEncoding(encoding);
}
}