| Package | Description |
|---|---|
| org.graphstream.ui.swingViewer | |
| org.graphstream.ui.view | |
| org.graphstream.ui.view.util |
| Modifier and Type | Method and Description |
|---|---|
void |
DefaultView.setShortcutManager(ShortcutManager manager) |
| Modifier and Type | Method and Description |
|---|---|
void |
View.setShortcutManager(ShortcutManager manager)
Change the manager for key and shortcuts events on this view.
|
| Modifier and Type | Class and Description |
|---|---|
class |
DefaultShortcutManager |
Copyright © 2015. All rights reserved.