HomeSort by relevance Sort by last modified time
    Searched refs:mTextPageIndex (Results 1 - 3 of 3) sorted by null

  /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/
AndroidTextEditor.java 91 private int mTextPageIndex;
236 * If the special pageId TEXT_EDITOR_ID is given, switches to the mTextPageIndex page.
244 super.setActivePage(mTextPageIndex);
362 getEditor(mTextPageIndex).doSave(monitor);
378 IEditorPart editor = getEditor(mTextPageIndex);
380 setPageText(mTextPageIndex, editor.getTitle());
501 mTextPageIndex = index;
AndroidXmlEditor.java 126 protected int mTextPageIndex;
459 setActivePage(mTextPageIndex);
508 * If the special pageId TEXT_EDITOR_ID is given, switches to the mTextPageIndex page.
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;
    [all...]
  /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/manifest/
ManifestEditor.java 117 if (newPageIndex == mTextPageIndex) {

Completed in 28 milliseconds