| commit | 99ad679910c3f01e5ead5d88c76536b4292a84b4 | [log] [tgz] |
|---|---|---|
| author | Tod Creasey <tod> | Tue Aug 20 15:45:20 2002 +0000 |
| committer | Tod Creasey <tod> | Tue Aug 20 15:45:20 2002 +0000 |
| tree | cae4a36e71bf4ec0d74788436e015b2c060115f6 | |
| parent | 496e7d0af8fae7be1a3096972deb0ac5958c42d5 [diff] |
Encoding output support added
diff --git a/bundles/org.eclipse.ui/Eclipse UI Text Editor/org/eclipse/ui/editors/text/FileDocumentProvider.java b/bundles/org.eclipse.ui/Eclipse UI Text Editor/org/eclipse/ui/editors/text/FileDocumentProvider.java index 2411e01..f622ef8 100644 --- a/bundles/org.eclipse.ui/Eclipse UI Text Editor/org/eclipse/ui/editors/text/FileDocumentProvider.java +++ b/bundles/org.eclipse.ui/Eclipse UI Text Editor/org/eclipse/ui/editors/text/FileDocumentProvider.java
@@ -420,9 +420,13 @@ IFileEditorInput input= (IFileEditorInput) element; try { - - InputStream stream= new ByteArrayInputStream(document.get().getBytes(ResourcesPlugin.getEncoding())); - IFile file= input.getFile(); + String encoding = getEncoding(element); + if ( encoding == null || encoding.length() == 0) + encoding = ResourcesPlugin.getEncoding(); + + InputStream stream= new ByteArrayInputStream(document.get().getBytes(encoding)); + + IFile file= input.getFile(); if (file.exists()) {