Examples of org.eclipse.ui.IWorkbenchPage.closeEditors()

org.eclipse.ui.IWorkbenchPage.closeEditors()
Closes the given Array of editor references. The editors must belong to this workbench page.
If any of the editors have unsaved content and save is true, the user will be given the opportunity to save them.
@param editorRefs the editors to close @param save true to save the editor contents if required (recommended), and false to discard any unsaved changes @return true if the editors were successfully closed, andfalse if the editors are still open @since 3.0

            continue;
          System.arraycopy(refArray, 0, otherEditors, 0, i);
          System.arraycopy(refArray, i + 1, otherEditors, i, refArray.length - 1 - i);
          break;
        }
        page.closeEditors(otherEditors, true);
      }
    }
  }


  /**

View Full Code Here

                continue;
              System.arraycopy(refArray, 0, otherEditors, 0, i);
              System.arraycopy(refArray, i + 1, otherEditors, i, refArray.length - 1 - i);
              break;
            }
            page.closeEditors(otherEditors, true);
          }
        }
        break;
      }

View Full Code Here

                if (!MessageDialog.openConfirm(getShell(), "Reopen Editors",
                    "In order to change the color theme, some editors have to be closed and reopened.")) {
                    return false;
                }


                activePage.closeEditors(editorsToClose.toArray(
                    new IEditorReference[editorsToClose.size()]), true);
            }


            if (themeSelectionList.getSelectionCount() > 0) {
                String selectedThemeName = themeSelectionList.getSelection()[0];

View Full Code Here

0 1

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.