| /** |
| * 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); |
| |
| } |
