added old hover behaviour;
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / phpeditor / PHPUnitEditor.java
index 833c8f8..419fd01 100644 (file)
@@ -1751,18 +1751,37 @@ public class PHPUnitEditor extends PHPEditor {
   /*
    * @see AbstractTextEditor#performSaveOperation(WorkspaceModifyOperation, IProgressMonitor)
    */
-  protected void performSaveOperation(WorkspaceModifyOperation operation, IProgressMonitor progressMonitor) {
-    IDocumentProvider p = getDocumentProvider();
+//  protected void performSaveOperation(WorkspaceModifyOperation operation, IProgressMonitor progressMonitor) {
+//    IDocumentProvider p = getDocumentProvider();
+//    if (p instanceof PHPDocumentProvider) {
+//      PHPDocumentProvider cp = (PHPDocumentProvider) p;
+//      cp.setSavePolicy(fSavePolicy);
+//    }
+//
+//    try {
+//      super.performSaveOperation(operation, progressMonitor);
+//    } finally {
+//      if (p instanceof PHPDocumentProvider) {
+//        PHPDocumentProvider cp = (PHPDocumentProvider) p;
+//        cp.setSavePolicy(null);
+//      }
+//    }
+//  }
+  
+  /*
+   * @see org.eclipse.ui.texteditor.AbstractTextEditor#performSave(boolean, org.eclipse.core.runtime.IProgressMonitor)
+   */
+  protected void performSave(boolean overwrite, IProgressMonitor progressMonitor) {
+    IDocumentProvider p= getDocumentProvider();
     if (p instanceof PHPDocumentProvider) {
-      PHPDocumentProvider cp = (PHPDocumentProvider) p;
+      PHPDocumentProvider cp= (PHPDocumentProvider) p;
       cp.setSavePolicy(fSavePolicy);
     }
-
     try {
-      super.performSaveOperation(operation, progressMonitor);
+      super.performSave(overwrite, progressMonitor);
     } finally {
       if (p instanceof PHPDocumentProvider) {
-        PHPDocumentProvider cp = (PHPDocumentProvider) p;
+        PHPDocumentProvider cp= (PHPDocumentProvider) p;
         cp.setSavePolicy(null);
       }
     }