/**
  * Creates page 1 of the multi-page editor, which allows you to change the font used in page 2.
  */
 void createPage1() {
   try {
     m_editor = new TextEditor();
     int index = addPage(m_editor, getEditorInput());
     setPageText(index, m_editor.getTitle());
   } catch (PartInitException e) {
     e.printStackTrace();
   }
 }
Пример #2
0
 /** Creates page 0 of the multi-page editor, which contains a text editor. */
 void createPage0() {
   try {
     editor = new TextEditor();
     int index = addPage(editor, getEditorInput());
     setPageText(index, editor.getTitle());
   } catch (PartInitException e) {
     ErrorDialog.openError(
         getSite().getShell(), "Error creating nested text editor", null, e.getStatus());
   }
 }