mds.jtraverser

Class TreeManager.ExtrasMenu

java.lang.Object

mds.jtraverser.TreeManager.Menu

mds.jtraverser.TreeManager.ExtrasMenu

Enclosing class:

TreeManager

public static final class TreeManager.ExtrasMenu
extends TreeManager.Menu

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	TreeManager.ExtrasMenu.AlwaysOnTop
class	TreeManager.ExtrasMenu.CopyFormat
class	TreeManager.ExtrasMenu.OpenTCL
class	TreeManager.ExtrasMenu.ShowActionList
class	TreeManager.ExtrasMenu.ShowDatabase
class	TreeManager.ExtrasMenu.ShowSubTreeList
class	TreeManager.ExtrasMenu.ShowTags

Nested classes/interfaces inherited from class mds.jtraverser.TreeManager.Menu

TreeManager.Menu.DataPanelAL

Field Summary

Fields inherited from class mds.jtraverser.TreeManager.Menu

gbc, items, menu, treeman

Constructor Summary

Constructors

Constructor and Description
ExtrasMenu(TreeManager treeman, JComponent menu)

Method Summary

Modifier and Type	Method and Description
void	checkSupport()

Methods inherited from class mds.jtraverser.TreeManager.Menu

addMenuItem, addMenuItem, addSeparator

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExtrasMenu

public ExtrasMenu(TreeManager treeman,
                  JComponent menu)

Method Detail

checkSupport

public final void checkSupport()

Overrides:

checkSupport in class TreeManager.Menu