Package edu.stanford.smi.protegex.owl.ui.navigation

Interface Summary

NavigationHistorySelectable	A visual user interface component that provides a navigation history.
NavigationHistoryTabWidget

Class Summary

NavigationHistoryManager	An object that manages the navigation history across in a certain context.
NavigationHistoryPanel	A JPanel to drive the selection associated to a NavigationHistoryManager.
ProgrammaticSelectionEvent	A SelectionEvent issued by NavigationHistorySelectables indicating that the selection has only changed as a result of a programmatic call (in contrast to a user action).
TabNavigationHistorySelectable