1 16 17 package org.mc4j.console.swing; 18 19 import java.awt.BorderLayout ; 20 import java.io.ObjectStreamException ; 21 22 import org.openide.explorer.ExplorerPanel; 23 import org.openide.explorer.view.BeanTreeView; 24 import org.openide.explorer.view.TreeView; 25 import org.openide.nodes.Node; 26 import org.openide.windows.WindowManager; 27 import org.openide.windows.Workspace; 28 29 30 31 36 public class ExtendedExplorerPanel extends ExplorerPanel { 37 38 39 protected TreeView view; 40 41 42 private MiniStatusBar miniStatusBar; 43 44 public ExtendedExplorerPanel () { 45 super(); 46 putClientProperty("PersistenceType","Never"); 47 } 48 49 public TreeView getTreeView() { 50 return view; 51 } 52 53 54 protected void componentShowing () { 55 super.componentShowing (); 56 57 if (view == null) { 58 view = initGui (); 59 } 60 } 61 62 66 public void addNotify () { 67 super.addNotify(); 68 74 componentShowing(); 75 } 76 77 81 protected TreeView initGui () { 82 TreeView view = new BeanTreeView(); 83 setLayout(new BorderLayout ()); 85 86 add(view); 87 88 add(getMiniStatusBar(), BorderLayout.SOUTH); 90 getMiniStatusBar().setVisible(true); 91 92 return view; 93 } 94 95 96 97 private MiniStatusBar getMiniStatusBar () { 98 if (miniStatusBar==null) { 99 miniStatusBar = new MiniStatusBar (getExplorerManager ()); 100 } 101 return miniStatusBar; 102 } 103 104 void adjustComponentPersistence() { 105 putClientProperty("PersistenceType", "Never"); } 108 109 110 void focusView() { 111 if (view != null) { 112 view.requestFocus(); 113 } 114 } 115 116 117 118 public Node getRootContext () { 119 return getExplorerManager().getRootContext(); 120 } 121 122 123 124 public void setName(String name) { 125 super.setName(name); 126 if (view != null) { 127 view.getAccessibleContext().setAccessibleName(name); 128 } 129 } 130 131 132 135 protected void updateTitle () { 136 setName(getExplorerManager ().getRootContext().getDisplayName()); 138 } 139 140 141 142 143 144 145 146 public void setToolTipText(String text) { 147 super.setToolTipText(text); 148 if (view != null) { 149 view.getAccessibleContext().setAccessibleDescription(text); 150 } 151 } 152 153 154 159 private Object readResolve() throws ObjectStreamException { 160 return null; 161 } 162 163 } | Popular Tags |