HomeSort by relevance Sort by last modified time
    Searched refs:pageId (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 197 String pageId;
199 pageId = file.getPersistentProperty(qname);
200 if (pageId != null) {
201 defaultPageId = pageId;
235 * If the special pageId TEXT_EDITOR_ID is given, switches to the mTextPageIndex page.
241 public IFormPage setActivePage(String pageId) {
242 if (pageId.equals(TEXT_EDITOR_ID)) {
246 return super.setActivePage(pageId);
AndroidXmlEditor.java 367 String pageId;
369 pageId = file.getPersistentProperty(qname);
370 if (pageId != null) {
371 defaultPageId = pageId;
405 * If the special pageId TEXT_EDITOR_ID is given, switches to the mTextPageIndex page.
411 public IFormPage setActivePage(String pageId) {
412 if (pageId.equals(TEXT_EDITOR_ID)) {
416 return super.setActivePage(pageId);
    [all...]
  /prebuilt/common/eclipse/
org.eclipse.jface_3.4.2.M20090107-0800.jar 

Completed in 189 milliseconds