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.EditHistoryManager
Packages that use
EditHistoryManager
Package
Description
InstrumentationPlatformGUI.Managers
Uses of
EditHistoryManager
in
InstrumentationPlatformGUI.Managers
Methods in
InstrumentationPlatformGUI.Managers
that return
EditHistoryManager
Modifier and Type
Method and Description
static
EditHistoryManager
EditHistoryManager.
get
(
GUIPanel
gp)
Singleton pattern getter.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes