| javax.swing.JComponent
 javax.swing.JTabbedPane
ti.chimera.Dock
| Dock | | public class Dock extends JTabbedPane (Code) | | A Dock is used to display one or more Views. When
all the Views are removed from a Dock, it destroys
itself.
The Dock's methods to add/remove Views handles the
threading issues so that they can be called from any thread, without having
to worry about swing's lack of thread safeness.
NOTE: Do not assume that this class extends JTabbedPane. I
may change this to be an interface, and have the actual implementation
hidden, perhaps as an inner-class of WindowManager.
The visibility of the Dock depends on it's contents. If a dock
contains no views, it is hiden, otherwise it is visible.
author:
Rob Clark
version:
0.0 |
| addView | | public void addView(View view)(Code) | | Add a View to this Dock. If a view is being
moved between docks, it should be removed from it's original dock
before being added to this dock.
Parameters:
view - the View to add
See Also: Dock.removeView |
| close | | public void close()(Code) | | Close the dock. This will close and remove all views in this dock.
|
| getDock | | public static Dock getDock(String name)(Code) | | Search for the specified dock.
XXX only call from WindowManagerPlugin...
Parameters:
name - the name of the dock to search for the dock, if found, else null |
| getDockName | | static String getDockName(View view)(Code) | | Determine the name of the dock for this view to appear in. If this is
the first time the view is displayed, the dock name will be the name of
the plugin the view is a owned by. Otherwise, it will be the name of
the last dock this plugin was added to.
Parameters:
view - the view a dock name |
| getDocks | | static Iterator getDocks()(Code) | | Get the docks. The docks in this list don't necessarily have to be
visible, ie. contain any views.
an Iterator of Docks |
| getName | | public String getName()(Code) | | Get the name of this dock.
|
| getViewCount | | public int getViewCount()(Code) | | Get the number of views in this dock.
NOTE: Use this instead of getTabCount in case I change
things so that Dock doesn't extend JTabbedPane.
the number of views. |
| getViews | | public Iterator getViews()(Code) | | Get the views.
iteration of all views in this Dock |
| init | | static synchronized void init(Main main)(Code) | | called from Main at startup... kinda ugly, but needs to happen before
constructor, getDockName, etc. are called.
|
| notifySetIcon | | void notifySetIcon(View view, Icon oldIcon, Icon newIcon)(Code) | | An implementation detail of how the view has to notify the dock that
it's icon has been changed... a more general notification mechanism
(for example the registry?) might be a more elegant solution, but
this is the quick and dirty solution for now...
|
| notifySetName | | void notifySetName(View view, String oldName, String newName)(Code) | | An implementation detail of how the view has to notify the dock that
it's name has been changed... a more general notification mechanism
(for example the registry?) might be a more elegant solution, but
this is the quick and dirty solution for now...
|
| removeView | | public void removeView(View view)(Code) | | Remove a View from this Dock.
Parameters:
view - the View to remove
See Also: Dock.addView |
| setDialog | | public synchronized void setDialog(Dialog dialog)(Code) | | |
| setForegroundView | | public void setForegroundView(View view)(Code) | | Programmatically set the specified view to be the foreground tab.
Parameters:
view - the View to move to foreground |
| showView | | static void showView(View view, String name)(Code) | | Show the view in the dock with the specified name. If this dock does
not already exist, it is created.
Parameters:
view - the view to show
Parameters:
name - the dock name |
| Methods inherited from javax.swing.JTabbedPane | public Component add(Component component)(Code)(Java Doc)
public Component add(String title, Component component)(Code)(Java Doc)
public Component add(Component component, int index)(Code)(Java Doc)
public void add(Component component, Object constraints)(Code)(Java Doc)
public void add(Component component, Object constraints, int index)(Code)(Java Doc)
public void addChangeListener(ChangeListener l)(Code)(Java Doc)
public void addTab(String title, Icon icon, Component component, String tip)(Code)(Java Doc)
public void addTab(String title, Icon icon, Component component)(Code)(Java Doc)
public void addTab(String title, Component component)(Code)(Java Doc)
protected ChangeListener createChangeListener()(Code)(Java Doc)
protected void fireStateChanged()(Code)(Java Doc)
public AccessibleContext getAccessibleContext()(Code)(Java Doc)
public Color getBackgroundAt(int index)(Code)(Java Doc)
public Rectangle getBoundsAt(int index)(Code)(Java Doc)
public ChangeListener[] getChangeListeners()(Code)(Java Doc)
public Component getComponentAt(int index)(Code)(Java Doc)
public Icon getDisabledIconAt(int index)(Code)(Java Doc)
public int getDisplayedMnemonicIndexAt(int tabIndex)(Code)(Java Doc)
public Color getForegroundAt(int index)(Code)(Java Doc)
public Icon getIconAt(int index)(Code)(Java Doc)
public int getMnemonicAt(int tabIndex)(Code)(Java Doc)
public SingleSelectionModel getModel()(Code)(Java Doc)
public Component getSelectedComponent()(Code)(Java Doc)
public int getSelectedIndex()(Code)(Java Doc)
public Component getTabComponentAt(int index)(Code)(Java Doc)
public int getTabCount()(Code)(Java Doc)
public int getTabLayoutPolicy()(Code)(Java Doc)
public int getTabPlacement()(Code)(Java Doc)
public int getTabRunCount()(Code)(Java Doc)
public String getTitleAt(int index)(Code)(Java Doc)
public String getToolTipText(MouseEvent event)(Code)(Java Doc)
public String getToolTipTextAt(int index)(Code)(Java Doc)
public TabbedPaneUI getUI()(Code)(Java Doc)
public String getUIClassID()(Code)(Java Doc)
public int indexAtLocation(int x, int y)(Code)(Java Doc)
public int indexOfComponent(Component component)(Code)(Java Doc)
public int indexOfTab(String title)(Code)(Java Doc)
public int indexOfTab(Icon icon)(Code)(Java Doc)
public int indexOfTabComponent(Component tabComponent)(Code)(Java Doc)
public void insertTab(String title, Icon icon, Component component, String tip, int index)(Code)(Java Doc)
public boolean isEnabledAt(int index)(Code)(Java Doc)
protected String paramString()(Code)(Java Doc)
public void remove(Component component)(Code)(Java Doc)
public void remove(int index)(Code)(Java Doc)
public void removeAll()(Code)(Java Doc)
public void removeChangeListener(ChangeListener l)(Code)(Java Doc)
public void removeTabAt(int index)(Code)(Java Doc)
public void setBackgroundAt(int index, Color background)(Code)(Java Doc)
public void setComponentAt(int index, Component component)(Code)(Java Doc)
public void setDisabledIconAt(int index, Icon disabledIcon)(Code)(Java Doc)
public void setDisplayedMnemonicIndexAt(int tabIndex, int mnemonicIndex)(Code)(Java Doc)
public void setEnabledAt(int index, boolean enabled)(Code)(Java Doc)
public void setForegroundAt(int index, Color foreground)(Code)(Java Doc)
public void setIconAt(int index, Icon icon)(Code)(Java Doc)
public void setMnemonicAt(int tabIndex, int mnemonic)(Code)(Java Doc)
public void setModel(SingleSelectionModel model)(Code)(Java Doc)
public void setSelectedComponent(Component c)(Code)(Java Doc)
public void setSelectedIndex(int index)(Code)(Java Doc)
public void setTabComponentAt(int index, Component component)(Code)(Java Doc)
public void setTabLayoutPolicy(int tabLayoutPolicy)(Code)(Java Doc)
public void setTabPlacement(int tabPlacement)(Code)(Java Doc)
public void setTitleAt(int index, String title)(Code)(Java Doc)
public void setToolTipTextAt(int index, String toolTipText)(Code)(Java Doc)
public void setUI(TabbedPaneUI ui)(Code)(Java Doc)
public void updateUI()(Code)(Java Doc)
|
| Methods inherited from javax.swing.JComponent | public void addAncestorListener(AncestorListener listener)(Code)(Java Doc)
public void addNotify()(Code)(Java Doc)
public synchronized void addVetoableChangeListener(VetoableChangeListener listener)(Code)(Java Doc)
public void computeVisibleRect(Rectangle visibleRect)(Code)(Java Doc)
public boolean contains(int x, int y)(Code)(Java Doc)
public JToolTip createToolTip()(Code)(Java Doc)
public void disable()(Code)(Java Doc)
public void enable()(Code)(Java Doc)
public void firePropertyChange(String propertyName, boolean oldValue, boolean newValue)(Code)(Java Doc)
public void firePropertyChange(String propertyName, int oldValue, int newValue)(Code)(Java Doc)
public void firePropertyChange(String propertyName, char oldValue, char newValue)(Code)(Java Doc)
protected void fireVetoableChange(String propertyName, Object oldValue, Object newValue) throws java.beans.PropertyVetoException(Code)(Java Doc)
public AccessibleContext getAccessibleContext()(Code)(Java Doc)
public ActionListener getActionForKeyStroke(KeyStroke aKeyStroke)(Code)(Java Doc)
final public ActionMap getActionMap()(Code)(Java Doc)
public float getAlignmentX()(Code)(Java Doc)
public float getAlignmentY()(Code)(Java Doc)
public AncestorListener[] getAncestorListeners()(Code)(Java Doc)
public boolean getAutoscrolls()(Code)(Java Doc)
public int getBaseline(int width, int height)(Code)(Java Doc)
public BaselineResizeBehavior getBaselineResizeBehavior()(Code)(Java Doc)
public Border getBorder()(Code)(Java Doc)
public Rectangle getBounds(Rectangle rv)(Code)(Java Doc)
final public Object getClientProperty(Object key)(Code)(Java Doc)
protected Graphics getComponentGraphics(Graphics g)(Code)(Java Doc)
public JPopupMenu getComponentPopupMenu()(Code)(Java Doc)
public int getConditionForKeyStroke(KeyStroke aKeyStroke)(Code)(Java Doc)
public int getDebugGraphicsOptions()(Code)(Java Doc)
public static Locale getDefaultLocale()(Code)(Java Doc)
public FontMetrics getFontMetrics(Font font)(Code)(Java Doc)
public Graphics getGraphics()(Code)(Java Doc)
public int getHeight()(Code)(Java Doc)
public boolean getInheritsPopupMenu()(Code)(Java Doc)
final public InputMap getInputMap(int condition)(Code)(Java Doc)
final public InputMap getInputMap()(Code)(Java Doc)
public InputVerifier getInputVerifier()(Code)(Java Doc)
public Insets getInsets()(Code)(Java Doc)
public Insets getInsets(Insets insets)(Code)(Java Doc)
public T[] getListeners(Class<T> listenerType)(Code)(Java Doc)
public Point getLocation(Point rv)(Code)(Java Doc)
public Dimension getMaximumSize()(Code)(Java Doc)
public Dimension getMinimumSize()(Code)(Java Doc)
public Component getNextFocusableComponent()(Code)(Java Doc)
public Point getPopupLocation(MouseEvent event)(Code)(Java Doc)
public Dimension getPreferredSize()(Code)(Java Doc)
public KeyStroke[] getRegisteredKeyStrokes()(Code)(Java Doc)
public JRootPane getRootPane()(Code)(Java Doc)
public Dimension getSize(Dimension rv)(Code)(Java Doc)
public Point getToolTipLocation(MouseEvent event)(Code)(Java Doc)
public String getToolTipText()(Code)(Java Doc)
public String getToolTipText(MouseEvent event)(Code)(Java Doc)
public Container getTopLevelAncestor()(Code)(Java Doc)
public TransferHandler getTransferHandler()(Code)(Java Doc)
public String getUIClassID()(Code)(Java Doc)
public boolean getVerifyInputWhenFocusTarget()(Code)(Java Doc)
public synchronized VetoableChangeListener[] getVetoableChangeListeners()(Code)(Java Doc)
public Rectangle getVisibleRect()(Code)(Java Doc)
public int getWidth()(Code)(Java Doc)
public int getX()(Code)(Java Doc)
public int getY()(Code)(Java Doc)
public void grabFocus()(Code)(Java Doc)
public boolean isDoubleBuffered()(Code)(Java Doc)
public static boolean isLightweightComponent(Component c)(Code)(Java Doc)
public boolean isManagingFocus()(Code)(Java Doc)
public boolean isOpaque()(Code)(Java Doc)
public boolean isOptimizedDrawingEnabled()(Code)(Java Doc)
final public boolean isPaintingForPrint()(Code)(Java Doc)
public boolean isPaintingTile()(Code)(Java Doc)
public boolean isRequestFocusEnabled()(Code)(Java Doc)
public boolean isValidateRoot()(Code)(Java Doc)
public void paint(Graphics g)(Code)(Java Doc)
protected void paintBorder(Graphics g)(Code)(Java Doc)
protected void paintChildren(Graphics g)(Code)(Java Doc)
protected void paintComponent(Graphics g)(Code)(Java Doc)
public void paintImmediately(int x, int y, int w, int h)(Code)(Java Doc)
public void paintImmediately(Rectangle r)(Code)(Java Doc)
protected String paramString()(Code)(Java Doc)
public void print(Graphics g)(Code)(Java Doc)
public void printAll(Graphics g)(Code)(Java Doc)
protected void printBorder(Graphics g)(Code)(Java Doc)
protected void printChildren(Graphics g)(Code)(Java Doc)
protected void printComponent(Graphics g)(Code)(Java Doc)
protected void processComponentKeyEvent(KeyEvent e)(Code)(Java Doc)
protected boolean processKeyBinding(KeyStroke ks, KeyEvent e, int condition, boolean pressed)(Code)(Java Doc)
protected void processKeyEvent(KeyEvent e)(Code)(Java Doc)
protected void processMouseEvent(MouseEvent e)(Code)(Java Doc)
protected void processMouseMotionEvent(MouseEvent e)(Code)(Java Doc)
final public void putClientProperty(Object key, Object value)(Code)(Java Doc)
public void registerKeyboardAction(ActionListener anAction, String aCommand, KeyStroke aKeyStroke, int aCondition)(Code)(Java Doc)
public void registerKeyboardAction(ActionListener anAction, KeyStroke aKeyStroke, int aCondition)(Code)(Java Doc)
public void removeAncestorListener(AncestorListener listener)(Code)(Java Doc)
public void removeNotify()(Code)(Java Doc)
public synchronized void removeVetoableChangeListener(VetoableChangeListener listener)(Code)(Java Doc)
public void repaint(long tm, int x, int y, int width, int height)(Code)(Java Doc)
public void repaint(Rectangle r)(Code)(Java Doc)
public boolean requestDefaultFocus()(Code)(Java Doc)
public void requestFocus()(Code)(Java Doc)
public boolean requestFocus(boolean temporary)(Code)(Java Doc)
public boolean requestFocusInWindow()(Code)(Java Doc)
protected boolean requestFocusInWindow(boolean temporary)(Code)(Java Doc)
public void resetKeyboardActions()(Code)(Java Doc)
public void reshape(int x, int y, int w, int h)(Code)(Java Doc)
public void revalidate()(Code)(Java Doc)
public void scrollRectToVisible(Rectangle aRect)(Code)(Java Doc)
final public void setActionMap(ActionMap am)(Code)(Java Doc)
public void setAlignmentX(float alignmentX)(Code)(Java Doc)
public void setAlignmentY(float alignmentY)(Code)(Java Doc)
public void setAutoscrolls(boolean autoscrolls)(Code)(Java Doc)
public void setBackground(Color bg)(Code)(Java Doc)
public void setBorder(Border border)(Code)(Java Doc)
public void setComponentPopupMenu(JPopupMenu popup)(Code)(Java Doc)
public void setDebugGraphicsOptions(int debugOptions)(Code)(Java Doc)
public static void setDefaultLocale(Locale l)(Code)(Java Doc)
public void setDoubleBuffered(boolean aFlag)(Code)(Java Doc)
public void setEnabled(boolean enabled)(Code)(Java Doc)
public void setFocusTraversalKeys(int id, Set<? extends AWTKeyStroke> keystrokes)(Code)(Java Doc)
public void setFont(Font font)(Code)(Java Doc)
public void setForeground(Color fg)(Code)(Java Doc)
public void setInheritsPopupMenu(boolean value)(Code)(Java Doc)
final public void setInputMap(int condition, InputMap map)(Code)(Java Doc)
public void setInputVerifier(InputVerifier inputVerifier)(Code)(Java Doc)
public void setMaximumSize(Dimension maximumSize)(Code)(Java Doc)
public void setMinimumSize(Dimension minimumSize)(Code)(Java Doc)
public void setNextFocusableComponent(Component aComponent)(Code)(Java Doc)
public void setOpaque(boolean isOpaque)(Code)(Java Doc)
public void setPreferredSize(Dimension preferredSize)(Code)(Java Doc)
public void setRequestFocusEnabled(boolean requestFocusEnabled)(Code)(Java Doc)
public void setToolTipText(String text)(Code)(Java Doc)
public void setTransferHandler(TransferHandler newHandler)(Code)(Java Doc)
protected void setUI(ComponentUI newUI)(Code)(Java Doc)
public void setVerifyInputWhenFocusTarget(boolean verifyInputWhenFocusTarget)(Code)(Java Doc)
public void setVisible(boolean aFlag)(Code)(Java Doc)
public void unregisterKeyboardAction(KeyStroke aKeyStroke)(Code)(Java Doc)
public void update(Graphics g)(Code)(Java Doc)
public void updateUI()(Code)(Java Doc)
|
|
|