|
| |
| 17. 45. 15. 使用ExtendedModifyEvent |
|
|
Call addExtendedModifyListener() to add an ExtendedModifyListener. |
ExtendedModifyEvent Fields |
| Field | Description | | int start | The zero-based offset, relative to the start of the StyledText, of the first position of the changed text. | | int length | The length of the changed text, in characters. | | String replacedText | The text that was replaced by this change. |
|
|
import org.eclipse.swt.SWT;
import org.eclipse.swt.custom.ExtendedModifyEvent;
import org.eclipse.swt.custom.ExtendedModifyListener;
import org.eclipse.swt.custom.StyledText;
import org.eclipse.swt.widgets.Display;
import org.eclipse.swt.widgets.Shell;
public class StyledTextExtendedModifyListener {
public static void main(String[] args) {
final Display display = new Display();
final Shell shell = new Shell(display);
final StyledText styledText = new StyledText(shell, SWT.V_SCROLL | SWT.BORDER);
styledText.setText("12345");
styledText.addExtendedModifyListener(new ExtendedModifyListener() {
public void modifyText(ExtendedModifyEvent event) {
System.out.println(event.start);
System.out.println(event.length);
System.out.println(event.replacedText);
}
});
styledText.setBounds(10, 10, 100, 100);
shell.open();
while (!shell.isDisposed()) {
if (!display.readAndDispatch()) {
display.sleep();
}
}
display.dispose();
}
}
|
|
|
