improved auto trigger for html

[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpeclipse / views / PHPConsole.java

diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/views/PHPConsole.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/views/PHPConsole.java
index 7bf0f41..f1c6e9a 100644 (file)
--- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/views/PHPConsole.java
+++ b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/views/PHPConsole.java
@@ -107,8 +107,9 @@ public class PHPConsole extends ViewPart {
       if (document == null) {
         document = new Document(text);
         viewer.setDocument(document);
+      } else {
+        document.replace(document.getLength(), 0, text);
       }
-      document.replace(document.getLength(), 0, text);
     } catch (BadLocationException e) {
     }
     //  viewer.setDocument(document);
@@ -117,13 +118,14 @@ public class PHPConsole extends ViewPart {
   public static PHPConsole getInstance() {
     IWorkbenchPage page = PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage();
     PHPConsole console = (PHPConsole) page.findView(PHPConsole.CONSOLE_ID);
-    if (console == null) {
-      console = (PHPConsole) page.findView(PHPConsole.CONSOLE_ID);
-    }
+
     if (PHPeclipsePlugin.getDefault().getPreferenceStore().getBoolean(PHPeclipsePlugin.SHOW_OUTPUT_IN_CONSOLE) == true) {
 
       try {
         page.showView(PHPConsole.CONSOLE_ID);
+        if (console == null) {
+          console = (PHPConsole) page.findView(PHPConsole.CONSOLE_ID);
+        }
       } catch (PartInitException e) {
         PHPeclipsePlugin.getDefault().getLog().log(
           new Status(