Uses of Interface
org.graphstream.ui.view.util.ShortcutManager

Packages that use ShortcutManager

Package	Description
org.graphstream.ui.view

Uses of ShortcutManager in org.graphstream.ui.view

Methods in org.graphstream.ui.view with parameters of type ShortcutManager

Modifier and Type	Method	Description
void	View.setShortcutManager(ShortcutManager manager)	Change the manager for key and shortcuts events on this view.