| ############################################################################### |
| # Copyright (c) 2000, 2005 IBM Corporation and others. |
| # All rights reserved. This program and the accompanying materials |
| # are made available under the terms of the Eclipse Public License v1.0 |
| # which accompanies this distribution, and is available at |
| # http://www.eclipse.org/legal/epl-v10.html |
| # |
| # Contributors: |
| # IBM Corporation - initial API and implementation |
| ############################################################################### |
| |
| # copied from same file in org.eclipse.ui.editors.text - no changes |
| |
| PreferencePage_description=Default Text Editor Settings |
| PreferencePage_fontEditor=Text Font: |
| |
| FileDocumentProvider_createElementInfo=FileDocumentProvider.createElementInfo |
| FileDocumentProvider_error_out_of_sync=Has been changed on the file system |
| FileDocumentProvider_task_saving=Saving |
| FileDocumentProvider_resetDocument=FileDocumentProvider.resetDocument |
| FileDocumentProvider_getPersistedEncoding=Cannot migrate encoding property |
| |
| StorageDocumentProvider_updateCache=StorageDocumentProvider.updateCache |
| StorageDocumentProvider_isReadOnly=StorageDocumentProvider.isReadOnly |
| StorageDocumentProvider_isModifiable=StorageDocumentProvider.isModifiable |
| StorageDocumentProvider_getContentDescriptionFor= Could not query content description for: {0} |
| StorageDocumentProvider_getContentDescription= Could not query content description. |
| |
| TextFileDocumentProvider_beginTask_saving= Saving |
| TextFileDocumentProvider_error_doesNotExist= File {0} does not exist. |
| TextFileDocumentProvider_saveAsTargetOpenInEditor=Target file is already open in another editor. |
| |
| Editor_error_save_message=Save could not be completed. {0} |
| Editor_error_save_title=Problems During Save As... |
| Editor_warning_save_delete=The original file ''{0}'' has been deleted. |
| |
| Editor_error_unreadable_encoding_header=Character Encoding Problems |
| Editor_error_unreadable_encoding_banner= |
| Editor_error_unreadable_encoding_message_arg=This file is unreadable using the \"{0}\" character encoding. |
| Editor_error_unreadable_encoding_message=This file is unreadable using the current character encoding. |
| |
| Editor_error_unsupported_encoding_header=Unsupported Character Encoding |
| Editor_error_unsupported_encoding_banner= |
| Editor_error_unsupported_encoding_message_arg=Character encoding \"{0}\" is not supported by this platform. |
| Editor_error_unsupported_encoding_message= The current character encoding is not supported by this platform. |
| |
| Editor_ConvertEncoding_submenu_label=Enc&oding |
| |
| Editor_ConvertEncoding_Custom_dialog_title=Character Encoding |
| Editor_ConvertEncoding_Custom_dialog_message=Enter the name of the character encoding: |
| |
| NullProvider_error= ERROR |
| |
| FileBufferOperationAction_collectionFiles_label=collecting files |
| FileBufferOperationHandler_collectionFiles_label=collecting files |
| |
| # Copied from org.eclipse.ui.ide/org/eclipse/ui/internal/ide/messages.properties |
| ResourceInfo_fileContentEncodingFormat= Default (determined from content: {0}) |
| ResourceInfo_fileContainerEncodingFormat= Default (inherited from container: {0}) |
| WorkbenchPreference_encoding_BOM_UTF_8= UTF-8 (BOM) |
| WorkbenchPreference_encoding_BOM_UTF_16BE= UTF-16 Big-Endian (BOM) |
| WorkbenchPreference_encoding_BOM_UTF_16LE= UTF-16 Little-Endian (BOM) |
| |
| DocumentInputStream_error_read= Could not read document:\n{0} |
| DocumentInputStream_error_streamClosed= Stream closed |
