Class | Description |
---|---|
ChangeTitleWidgetEvent |
An event to change the Title Widget of a WorkbenchPart container, e.g. a Tab in a TabPanel
|
NewSplashScreenActiveEvent |
Fired by the framework immediately after the set of active splash screens has changed (new splash screen displayed or
an existing one closed).
|
Copyright © 2012–2020 JBoss by Red Hat. All rights reserved.