Java JFaceBasicEditor.getStyledText Examples

Example #1

File: FontSize10Action.java Project: jvrodrigo/jfacebasiceditor

 public void run() {
   style = editor.getStyleRange();
   editor.fontData.setHeight(10);
   style.font = new Font(editor.getShell().getDisplay(), editor.fontData);
   editor.setStyleRange(style);
   editor.getStyledText().setFont(style.font);
 }

Example #2

File: SelectAllAction.java Project: jvrodrigo/jfacebasiceditor

 public void run() {
   editor.getStyledText().selectAll();
 }