X-Git-Url: http://git.phpeclipse.com 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 --- 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(