public String getCharset() { // return the resource encoding defined in Preference page(General -->Workspace-->Text file encoding) return ResourcesPlugin.getEncoding(); }
public String getEncoding() { if (fEncoding == null) return ResourcesPlugin.getEncoding(); return fEncoding; }
@Override public String getDefaultEncoding() { return ResourcesPlugin.getEncoding(); }
protected String getEncoding(Object element) { String encoding = ResourcesPlugin.getEncoding(); if (element instanceof IEncodedStreamContentAccessor) { try { encoding = ((IEncodedStreamContentAccessor) element).getCharset(); } catch (CoreException exception) { } } return encoding; }
@Override protected boolean contentsEqual(IProgressMonitor monitor, InputStream is1, InputStream is2, boolean ignoreWhitespace) { try { final String left = Utilities.readString(is1, ResourcesPlugin.getEncoding()); final String right = Utilities.readString(is2, ResourcesPlugin.getEncoding()); return compareStrings(left, right, monitor); } catch (IOException e) { // ignore } return false; }
public static String readString(IStreamContentAccessor sa) throws CoreException { String encoding= null; if (sa instanceof IEncodedStreamContentAccessor) encoding= ((IEncodedStreamContentAccessor)sa).getCharset(); if (encoding == null) encoding= ResourcesPlugin.getEncoding(); return Utilities.readString(sa, encoding); }
public static String getCharset(Object resource) { if (resource instanceof IEncodedStorage) { try { return ((IEncodedStorage) resource).getCharset(); } catch (CoreException ex) { CompareUIPlugin.log(ex); } } return ResourcesPlugin.getEncoding(); }
public static String readString(IStreamContentAccessor sa) throws CoreException { String encoding= null; if (sa instanceof IEncodedStreamContentAccessor) encoding= ((IEncodedStreamContentAccessor)sa).getCharset(); if (encoding == null) encoding= ResourcesPlugin.getEncoding(); return Utilities.readString(sa, encoding); }
/** * Returns the encoding of this dictionary. * * @return the encoding of this dictionary * @since 3.3 */ protected String getEncoding() { String encoding= JavaPlugin.getDefault().getPreferenceStore().getString(PreferenceConstants.SPELLING_USER_DICTIONARY_ENCODING); if (encoding == null || encoding.length() == 0) encoding= ResourcesPlugin.getEncoding(); return encoding; }
@Override public String getDefaultCharset(boolean checkImplicit) { if (checkImplicit) return ResourcesPlugin.getEncoding(); String enc = ResourcesPlugin.getPlugin().getPluginPreferences().getString(ResourcesPlugin.PREF_ENCODING); return enc == null || enc.length() == 0 ? null : enc; }
/** * Returns the encoding of this dictionary. * * @return the encoding of this dictionary * @since 3.3 */ protected String getEncoding() { String encoding= JavaPlugin.getDefault().getPreferenceStore().getString(PreferenceConstants.SPELLING_USER_DICTIONARY_ENCODING); if (encoding == null || encoding.length() == 0) encoding= ResourcesPlugin.getEncoding(); return encoding; }
/** * Returns the encoding of this dictionary. * * @return the encoding of this dictionary * @since 3.3 */ protected String getEncoding() { String encoding= JavaPlugin.getDefault().getPreferenceStore().getString(PreferenceConstants.SPELLING_USER_DICTIONARY_ENCODING); if (encoding == null || encoding.length() == 0) encoding= ResourcesPlugin.getEncoding(); return encoding; }
@Override public String getDefaultCharset(boolean checkImplicit) { if (checkImplicit) return ResourcesPlugin.getEncoding(); String enc = ResourcesPlugin.getPlugin().getPluginPreferences().getString(ResourcesPlugin.PREF_ENCODING); return enc == null || enc.length() == 0 ? null : enc; }
@Override public String getDefaultCharset(boolean checkImplicit) { if (checkImplicit) return ResourcesPlugin.getEncoding(); String enc = ResourcesPlugin.getPlugin().getPluginPreferences().getString(ResourcesPlugin.PREF_ENCODING); return enc == null || enc.length() == 0 ? null : enc; }
@Override public String getDefaultCharset(boolean checkImplicit) { // non-existing resources default to parent's charset if (!exists()) return checkImplicit ? ResourcesPlugin.getEncoding() : null; return workspace.getCharsetManager().getCharsetFor(getFullPath(), checkImplicit); }
@Override public String getDefaultCharset(boolean checkImplicit) { // non-existing resources default to parent's charset if (!exists()) return checkImplicit ? ResourcesPlugin.getEncoding() : null; return workspace.getCharsetManager().getCharsetFor(getFullPath(), checkImplicit); }
@Override public String getDefaultCharset(boolean checkImplicit) { // non-existing resources default to parent's charset if (!exists()) return checkImplicit ? ResourcesPlugin.getEncoding() : null; return workspace.getCharsetManager().getCharsetFor(getFullPath(), checkImplicit); }
@Override public void performDefaults() { super.performDefaults(); setValue(PREF_SPELLING_USER_DICTIONARY_ENCODING, ""); //$NON-NLS-1$ fEncodingEditor.getPreferenceStore().setValue(fEncodingEditor.getPreferenceName(), ResourcesPlugin.getEncoding()); fEncodingEditor.load(); fEncodingEditor.loadDefault(); }
@Override public void performDefaults() { super.performDefaults(); setValue(PREF_SPELLING_USER_DICTIONARY_ENCODING, ""); //$NON-NLS-1$ fEncodingEditor.getPreferenceStore().setValue(fEncodingEditor.getPreferenceName(), ResourcesPlugin.getEncoding()); fEncodingEditor.load(); fEncodingEditor.loadDefault(); }
public void performDefaults() { super.performDefaults(); setValue(PREF_SPELLING_USER_DICTIONARY_ENCODING, ""); //$NON-NLS-1$ fEncodingEditor.getPreferenceStore().setValue(fEncodingEditor.getPreferenceName(), ResourcesPlugin.getEncoding()); fEncodingEditor.load(); fEncodingEditor.loadDefault(); }