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