JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
Uses of Class
InstrumentationPlatformGUI.Managers.JumpHistoryManager
Packages that use
JumpHistoryManager
Package
Description
InstrumentationPlatformGUI.Managers
Uses of
JumpHistoryManager
in
InstrumentationPlatformGUI.Managers
Methods in
InstrumentationPlatformGUI.Managers
that return
JumpHistoryManager
Modifier and Type
Method and Description
static
JumpHistoryManager
JumpHistoryManager.
get
(
GUIPanel
gp)
Singleton getter.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes