blob: d5f7fb34f3778101d779713575d8865da3984bc6 [file] [log] [blame]
/**
* 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();
}
}