#1365431 (toshihiro) - PHP Editor crashes Windows with JavaScript 'windows.close()'

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / phpeditor / IPositionManager.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/IPositionManager.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/IPositionManager.java
index 9b96295..8b4965c 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/IPositionManager.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/IPositionManager.java
@@ -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);
 }