Work around SWT 4.13 - 4.18 Win32 DnD bug 567422

[simantics/platform.git] / bundles / org.eclipse.swt.win32.win32.x86_64 / src / org / eclipse / swt / custom / StyledTextLineSpacingProvider.java

diff --git a/bundles/org.eclipse.swt.win32.win32.x86_64/src/org/eclipse/swt/custom/StyledTextLineSpacingProvider.java b/bundles/org.eclipse.swt.win32.win32.x86_64/src/org/eclipse/swt/custom/StyledTextLineSpacingProvider.java
new file mode 100644 (file)
index 0000000..430a77d
--- /dev/null
+++ b/bundles/org.eclipse.swt.win32.win32.x86_64/src/org/eclipse/swt/custom/StyledTextLineSpacingProvider.java
@@ -0,0 +1,37 @@
+/**
+ *  Copyright (c) 2017 Angelo ZERR.
+ *
+ *  This program and the accompanying materials
+ *  are made available under the terms of the Eclipse Public License 2.0
+ *  which accompanies this distribution, and is available at
+ *  https://www.eclipse.org/legal/epl-2.0/
+ *
+ *  SPDX-License-Identifier: EPL-2.0
+ *
+ *  Contributors:
+ *  Angelo Zerr <angelo.zerr@gmail.com> - Customize different line spacing of StyledText - Bug 522020
+ */
+package org.eclipse.swt.custom;
+
+/**
+ * Line spacing provider used to customize different line spacing for some lines
+ * of {@link StyledText}
+ *
+ * @since 3.107
+ */
+@FunctionalInterface
+public interface StyledTextLineSpacingProvider {
+
+       /**
+        * Returns the line spacing of the given line index and null otherwise. In this
+        * case, it will use the {@link StyledText#getLineSpacing()}.
+        *
+        * @param lineIndex
+        *            line index.
+        * @return the line spacing of the given line index and null otherwise. In this
+        *         case, it will use the {@link StyledText#getLineSpacing()}.
+        * @since 3.107
+        */
+       Integer getLineSpacing(int lineIndex);
+
+}