--- CompilerDisplayer.java Wed Apr 10 09:18:51 2002 +++ CompilerDisplayer.new Wed Apr 10 09:17:44 2002 @@ -229,21 +229,28 @@ compilerIO.select (); } } - + /** Displayes information that compilation has finished, * and whether succesfully or not. */ public void compilationFinished (final CompilerTaskImpl task, boolean uptodate) { + boolean always_print = true; + boolean dontOpenOWAfterSuccess = true; // there get real value from compiler options ! + if ( dontOpenOWAfterSuccess && task.isSuccessful() && compilerIO.isClosed() ) + always_print = false; + try { initialize (); MessageFormat msg = task.isSuccessful() ? compSuccess : compUnsuccess; dispatcherWait(); String fimsg = msg.format (taskToArgs (task)); setStatusText(fimsg); - ensureSelect(); - if (uptodate) { - println(NbBundle.getBundle(CompilerDisplayer.class).getString("MSG_UpToDate")); + if (always_print) { + ensureSelect(); + if (uptodate) { + println(NbBundle.getBundle(CompilerDisplayer.class).getString("MSG_UpToDate")); + } + println(fimsg); } - println(fimsg); } catch (InterruptedException e) { org.openide.ErrorManager.getDefault().notify(org.openide.ErrorManager.INFORMATIONAL, e); } finally {