/* * (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); } }