Added externaltools plugin

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

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaSourceViewer.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaSourceViewer.java
index 1b91695..030c7d5 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaSourceViewer.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/phpeditor/JavaSourceViewer.java
@@ -139,7 +139,8 @@ public class JavaSourceViewer extends ProjectionViewer implements IPropertyChang
                    case FORMAT:
                      Point point = getSelectedRange();
                      if (point.y==0) {
-                       setSelectedRange(0, getDocument().getLength());
+//                     setSelectedRange(0, getDocument().getLength());
+                       revealRange(0, getDocument().getLength());
                      }
                      break;
                }
@@ -380,7 +381,7 @@ public class JavaSourceViewer extends ProjectionViewer implements IPropertyChang
                        fBackspaceManager.uninstall();
                        fBackspaceManager= null;
                }
-
+        
                super.handleDispose();
        }