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