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 90 private int mTextPageIndex;
235 * If the special pageId TEXT_EDITOR_ID is given, switches to the mTextPageIndex page.
243 super.setActivePage(mTextPageIndex);
359 getEditor(mTextPageIndex).doSave(monitor);
375 IEditorPart editor = getEditor(mTextPageIndex);
377 setPageText(mTextPageIndex, editor.getTitle());
498 mTextPageIndex = index;
AndroidXmlEditor.java 114 protected int mTextPageIndex;
371 * If the special pageId TEXT_EDITOR_ID is given, switches to the mTextPageIndex page.
379 super.setActivePage(mTextPageIndex);
524 getEditor(mTextPageIndex).doSave(monitor);
540 IEditorPart editor = getEditor(mTextPageIndex);
542 setPageText(mTextPageIndex, editor.getTitle());
695 mTextPageIndex = index;
    [all...]
  /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/
LayoutEditor.java 365 if (getCurrentPage() == mTextPageIndex &&

Completed in 449 milliseconds