Version 1.4.2

dart/editor/tools/plugins/com.google.dart.tools.deploy/src/com/google/dart/tools/ui/console/DartConsoleView.java

 /*
  * Copyright (c) 2012, the Dart project authors.
- * 
+ *
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
- * 
+ *
  * http://www.eclipse.org/legal/epl-v10.html
- * 
+ *
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
  * or implied. See the License for the specific language governing permissions and limitations under
  * the License.
  */
 
 package com.google.dart.tools.ui.console;
 
 import com.google.dart.tools.debug.ui.launch.OpenObservatoryAction;
 import com.google.dart.tools.debug.ui.launch.StopPubServeAction;
@@ skipping 172 matching lines @@
       IProcess process = getProcess();
 
       if (process != null) {
         setEnabled(!process.isTerminated());
       } else {
         setEnabled(false);
       }
     }
   }
 
-  private static final String NEW_LINE = System.getProperty("line.separator");
-
   public static final String VIEW_ID = "com.google.dart.tools.ui.console";
 
   private Composite parent;
   private IConsole console;
   private Object consoleLock = new Object();
 
   private IPageBookViewPage page;
 
   private PageSite pageSite;
 
@@ skipping 99 matching lines @@
     updateContentDescription();
 
     updateIcon();
 
     terminateAction.update();
     propertiesAction.setEnabled(getProcess() != null);
 
     // Show cmdline used to launch process
     if (console instanceof ProcessConsole) {
       IProcess process = ((ProcessConsole) console).getProcess();
-      String cmdline = process.getAttribute(IProcess.ATTR_CMDLINE);
-      if (cmdline != null) {
-        StyledText control = (StyledText) page.getControl();
-        if (control != null && !control.isDisposed()) {
-          control.append(cmdline);
-          control.append(NEW_LINE);
-        }
-      }
-
       openObservatoryAction.updateEnablement(process.getLaunch());
-
     }
   }
 
   @Override
   public void dispose() {
     JFaceResources.getFontRegistry().removeListener(fontPropertyChangeListener);
 
     display = null;
 
     DartConsoleManager.getManager().consoleViewClosed(this);
@@ skipping 154 matching lines @@
       } else {
         return null;
       }
     }
   }
 
   private void updateContentDescription() {
     if (console instanceof ProcessConsole) {
       IProcess process = ((ProcessConsole) console).getProcess();
 
-      String name = "";
       String configName = process.getLaunch().getLaunchConfiguration().getName();
+      String name = "<" + configName + "> ";
 
       if (process.isTerminated()) {
         try {
-          name = "<" + configName + "> exit code=" + process.getExitValue();
+          name = name + " exit code = " + process.getExitValue();
         } catch (DebugException ex) {
           // ignore
         }
-
         bringToFront();
       }
 
       setContentDescription(name);
+      setPartName(configName);
     } else {
       setContentDescription("");
-    }
-
-    if (console instanceof ProcessConsole) {
-      IProcess process = ((ProcessConsole) console).getProcess();
-
-      setPartName(process.getLaunch().getLaunchConfiguration().getName());
-    } else {
       setPartName("Tools Output");
     }
   }
 
   private void updateFont() {
     Display.getDefault().asyncExec(new Runnable() {
       @Override
       public void run() {
         Font newFont = JFaceResources.getFont(FontPreferencePage.VIEW_BASE_FONT_KEY);
         if (page != null && page.getControl() != null) {
@@ skipping 28 matching lines @@
     } else {
       toolbar.add(openObservatoryAction);
     }
 
     toolbar.add(terminateAction);
     toolbar.add(new Separator("outputGroup"));
     getViewSite().getActionBars().updateActionBars();
   }
 
 }