diff options
author | Markus Keller | 2014-07-08 16:23:21 +0000 |
---|---|---|
committer | Markus Keller | 2014-07-08 16:27:38 +0000 |
commit | a19c8c64d3a29cb93630e7fa887ba37518374a5c (patch) | |
tree | e5795681d46ae324a2cf91f0221f401631d8c0fa /org.eclipse.text/src/org/eclipse | |
parent | ceb8ba2e4ce15c68277179228945238a5ad20b7b (diff) | |
download | eclipse.platform.text-a19c8c64d3a29cb93630e7fa887ba37518374a5c.tar.gz eclipse.platform.text-a19c8c64d3a29cb93630e7fa887ba37518374a5c.tar.xz eclipse.platform.text-a19c8c64d3a29cb93630e7fa887ba37518374a5c.zip |
Bug 439155: [block selection] Pasting multiple lines inserts \r instead of document line delimiterI20140722-0800I20140715-0800
Diffstat (limited to 'org.eclipse.text/src/org/eclipse')
-rw-r--r-- | org.eclipse.text/src/org/eclipse/jface/text/TextUtilities.java | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/org.eclipse.text/src/org/eclipse/jface/text/TextUtilities.java b/org.eclipse.text/src/org/eclipse/jface/text/TextUtilities.java index 960c7826368..b30eef61bc1 100644 --- a/org.eclipse.text/src/org/eclipse/jface/text/TextUtilities.java +++ b/org.eclipse.text/src/org/eclipse/jface/text/TextUtilities.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2000, 2011 IBM Corporation and others. + * Copyright (c) 2000, 2014 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 @@ -471,8 +471,10 @@ public class TextUtilities { } /** - * Returns the default line delimiter for the given document. This is either the delimiter of the first line, or the platform line delimiter if it is - * a legal line delimiter or the first one of the legal line delimiters. The default line delimiter should be used when performing document + * Returns the default line delimiter for the given document. This is + * {@link IDocumentExtension4#getDefaultLineDelimiter()} if available. + * Otherwise, this is either the delimiter of the first line, or the platform line delimiter if it is + * a legal line delimiter, or the first one of the legal line delimiters. The default line delimiter should be used when performing document * manipulations that span multiple lines. * * @param document the document |