1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default...
[phpeclipse.git] / net.sourceforge.phpeclipse.ui / src / net / sourceforge / phpeclipse / ui / WebUI.java
index 7ae8cfb..fb23514 100644 (file)
@@ -800,8 +800,8 @@ public class WebUI extends AbstractUIPlugin implements IPreferenceConstants {
                                                                | IResourceChangeEvent.PRE_DELETE
                                                                | IResourceChangeEvent.PRE_CLOSE);
        
-                               ISavedState savedState = workspace.addSaveParticipant(
-                                               /*PHPeclipsePlugin*/WebUI.this, modelManager);
+//                             ISavedState savedState = workspace.addSaveParticipant(
+//                                             /*PHPeclipsePlugin*/WebUI.this, modelManager);
        
                                WorkspaceJob processSavedState = new WorkspaceJob(
                                                Util.bind("savedState.jobName")) { //$NON-NLS-1$