commit c74646596afb72a13a8f4485ffe51db94428de2d
author jat@google.com <jat@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Wed Dec 03 23:49:52 2008 +0000
committer jat@google.com <jat@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Wed Dec 03 23:49:52 2008 +0000
tree c72ba8ceb18230f7d292fe16874f1ecb578b2ece
parent 3ac2cc7e1bc7dbd1417c9a52d3f860766378b570

Remove JDK 1.6 dependency from OOPHM shell.

Patch by: jat
Review by: scottb (postmortem)


git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@4243 8db76d5a-ed1c-0410-87a9-c151d255dfc7

dev/oophm/src/com/google/gwt/dev/ModulePanel.java

diff --git a/dev/oophm/src/com/google/gwt/dev/ModulePanel.java b/dev/oophm/src/com/google/gwt/dev/ModulePanel.java
index 86ea276..0104690 100644
--- a/dev/oophm/src/com/google/gwt/dev/ModulePanel.java
+++ b/dev/oophm/src/com/google/gwt/dev/ModulePanel.java
@@ -26,7 +26,6 @@
 import java.awt.event.ActionEvent;
 import java.awt.event.ActionListener;
 
-import javax.swing.BorderFactory;
 import javax.swing.ImageIcon;
 import javax.swing.JButton;
 import javax.swing.JLabel;
@@ -47,9 +46,6 @@
     public ClosedTabComponent() {
       super(new FlowLayout(FlowLayout.LEFT, 0, 0));
       setOpaque(false);
-      JLabel label = new JLabel("Disconnected");
-      add(label);
-      label.setBorder(BorderFactory.createEmptyBorder(0, 0, 0, 5));
       JButton button = new JButton(closeIcon);
       button.setBorderPainted(false);
       button.setPreferredSize(new Dimension(closeIcon.getIconWidth(),
@@ -78,11 +74,13 @@
 
   private final JTabbedPane tabs;
 
+  private JPanel topPanel;
+
   public ModulePanel(Type maxLevel, String moduleName, String userAgent,
       String remoteSocket, final JTabbedPane tabs) {
     super(new BorderLayout());
     this.tabs = tabs;
-    JPanel topPanel = new JPanel();
+    topPanel = new JPanel();
     topPanel.add(new JLabel(moduleName));
     JButton compileButton = new JButton("Compile (not yet implemented)");
     compileButton.setEnabled(false);
@@ -120,10 +118,12 @@
   }
 
   public void disconnect() {
+    topPanel.add(new ClosedTabComponent());
     synchronized (tabs) {
       int index = tabs.indexOfComponent(this);
       if (index > -1) {
-        tabs.setTabComponentAt(index, new ClosedTabComponent());
+        tabs.setTitleAt(index, "Disconnected");
+        tabs.setIconAt(index, null);
       }
     }
     loggerPanel.disconnected();