Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMarkus Keller2014-07-08 16:23:21 +0000
committerMarkus Keller2014-07-08 16:27:38 +0000
commita19c8c64d3a29cb93630e7fa887ba37518374a5c (patch)
treee5795681d46ae324a2cf91f0221f401631d8c0fa /org.eclipse.text/src/org
parentceb8ba2e4ce15c68277179228945238a5ad20b7b (diff)
downloadeclipse.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')
-rw-r--r--org.eclipse.text/src/org/eclipse/jface/text/TextUtilities.java8
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 960c78263..b30eef61b 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

Back to the top