Java JFaceBasicEditorの例

コード例 #1

ファイル: FontSize10Action.java プロジェクト: 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);
 }

コード例 #2

ファイル: SelectAllAction.java プロジェクト: jvrodrigo/jfacebasiceditor

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