X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.eclipse.swt.win32.win32.x86_64%2Fsrc%2Forg%2Feclipse%2Fswt%2Fcustom%2FStyledTextLineSpacingProvider.java;fp=bundles%2Forg.eclipse.swt.win32.win32.x86_64%2Fsrc%2Forg%2Feclipse%2Fswt%2Fcustom%2FStyledTextLineSpacingProvider.java;h=430a77d6b4151e707896d44eebc2b2a558a5c7d9;hb=6b98970d0458754dd67f789afbd0a39e1e7ac6eb;hp=0000000000000000000000000000000000000000;hpb=56a61575ce0d27b340cb12438c8a7f303842095e;p=simantics%2Fplatform.git 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 index 000000000..430a77d6b --- /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 - 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); + +}