#1365431 (toshihiro) - PHP Editor crashes Windows with JavaScript 'windows.close()'
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / phpeditor / IPositionManager.java
index 9b96295..8b4965c 100644 (file)
@@ -7,10 +7,9 @@ package net.sourceforge.phpeclipse.phpeditor;
 
 import org.eclipse.jface.text.Position;
 
-
 public interface IPositionManager {
-       
+
        void addManagedPosition(Position position);
-       
+
        void removeManagedPosition(Position position);
 }