| /** |
| * Copyright (c) 2018 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> - [StyledText] Allow to define a top margin for a given line or range - Bug 539618 |
| */ |
| package org.eclipse.swt.snippets; |
| |
| /* |
| * example snippet: customize line vertical indent |
| * |
| * For a list of all SWT example snippets see |
| * http://www.eclipse.org/swt/snippets/ |
| * |
| * @since 3.108 |
| */ |
| import org.eclipse.swt.*; |
| import org.eclipse.swt.custom.*; |
| import org.eclipse.swt.layout.*; |
| import org.eclipse.swt.widgets.*; |
| |
| public class Snippet374 { |
| |
| public static void main(String[] args) throws Exception { |
| Display display = new Display(); |
| Shell shell = new Shell(display); |
| shell.setText("Snippet 374"); |
| shell.setLayout(new FillLayout()); |
| shell.setText("Customize line vertical indent"); |
| |
| StyledText text = new StyledText(shell, SWT.BORDER | SWT.V_SCROLL); |
| text.setWordWrap(true); |
| text.setText("word1 word2 word3 word4"); |
| text.setLineVerticalIndent(0, 20); |
| |
| shell.pack(); |
| shell.open(); |
| while (!shell.isDisposed()) { |
| if (!display.readAndDispatch()) |
| display.sleep(); |
| } |
| display.dispose(); |
| } |
| } |