Package org.eclipse.ui.internal

Examples of org.eclipse.ui.internal.Workbench


    EditorSite site = (EditorSite) reusableEditor.getEditorSite();
    EditorDescriptor oldDesc = site.getEditorDescriptor();
    if ((desc.getId().equals(oldDesc.getId()))
        && (reusableEditor instanceof IReusableEditor)) {
      Workbench wb = (Workbench) page.getWorkbenchWindow().getWorkbench();
      editorPresentation.moveEditor(reusableEditor, -1);
      wb.getEditorHistory().add(reusableEditor.getEditorInput(),
          site.getEditorDescriptor());
      page.reuseEditor((IReusableEditor) reusableEditor, input);
      return reusableEditorRef;
    }
    // findReusableEditor(...) checks pinned and saves editor if
View Full Code Here


  }

  private void feedKeys(final String keys)
  {
    try{
      final Workbench workbench = (Workbench)PlatformUI.getWorkbench();
      final Display display = workbench.getDisplay();

      // first issue a click on the eclipse workbench, to prevent gvim from
      // retaining focus after key stroke is processed.
      final int[] bounds = new int[2];
      display.syncExec(new Runnable(){
View Full Code Here

TOP

Related Classes of org.eclipse.ui.internal.Workbench

Copyright © 2018 www.massapicom. All rights reserved.
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.