Searched refs:mTextPageIndex (Results 1 – 3 of 3) sorted by relevance
91 private int mTextPageIndex; field in AndroidTextEditor244 super.setActivePage(mTextPageIndex); in setActivePage()362 getEditor(mTextPageIndex).doSave(monitor); in doSave()378 IEditorPart editor = getEditor(mTextPageIndex); in doSaveAs()380 setPageText(mTextPageIndex, editor.getTitle()); in doSaveAs()501 mTextPageIndex = index;
126 protected int mTextPageIndex; field in AndroidXmlEditor459 setActivePage(mTextPageIndex);516 super.setActivePage(mTextPageIndex);549 boolean isTextPage = newPageIndex == mTextPageIndex;559 return getActivePage() == mTextPageIndex;626 getEditor(mTextPageIndex).doSave(monitor);678 IEditorPart editor = getEditor(mTextPageIndex);680 setPageText(mTextPageIndex, editor.getTitle());737 return mTextPageIndex;819 mTextPageIndex = index;[all …]
117 if (newPageIndex == mTextPageIndex) { in pageChange()