PageSelected

data class PageSelected(val pageId: PageId?) : GuiEvent

The workspace's selected page changed (null when no page is selected, e.g. the workspace is empty).

Constructors

constructor(pageId: PageId?)