public class BookmarkOverlayToggleEvent extends JeiEvent
| Constructor and Description |
|---|
BookmarkOverlayToggleEvent() |
BookmarkOverlayToggleEvent(boolean bookmarkOverlayEnabled) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
isBookmarkOverlayEnabled() |