# HG changeset patch # User pin # Date 1220149258 -32400 # Node ID 54c438d246a42221eefc894c0a103d554922be6e # Parent e9d711e1663363bf493ef44036675c059ac000ab *** empty log message *** diff -r e9d711e16633 -r 54c438d246a4 src/remoteeditor/action/RemoteEditorAction.java --- a/src/remoteeditor/action/RemoteEditorAction.java Sat Aug 30 22:21:26 2008 +0900 +++ b/src/remoteeditor/action/RemoteEditorAction.java Sun Aug 31 11:20:58 2008 +0900 @@ -33,6 +33,8 @@ import org.eclipse.ui.PartInitException; import org.eclipse.ui.PlatformUI; import org.eclipse.ui.internal.editors.text.UntitledTextFileWizard; +import org.eclipse.ui.texteditor.ITextEditor; +import org.eclipse.ui.views.IViewDescriptor; //import org.eclipse.ui.internal.Workbench; //import org.eclipse.ui.internal.WorkbenchPage; //import org.eclipse.ui.views.IViewDescriptor; @@ -67,7 +69,7 @@ IEditorPart editorPart = workbenchPage.getActiveEditor(); //System.out.println(editorPart.getEditorInput().toString()); IEditorInput editorinput = editorPart.getEditorInput(); - + workbenchPage.closeEditor(editorPart, true); //エディタの外からファイルバッファへアクセスする方法 // IPath path = new Path(editorinput.getName()); @@ -80,7 +82,6 @@ // ITextFileBuffer buffer = manager.getTextFileBuffer(path); // IDocument document = buffer.getDocument(); - workbenchPage.closeEditor(editorPart, true); try { editorPart = workbenchPage.openEditor(editorinput, "remoteeditor.editors.RemoteEditor"); } catch (PartInitException e) {