Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.gui.notification |
Modifier and Type | Method and Description |
---|---|
NotificationManager |
MainWindow.getNotificationManager()
Returns the
NotificationManager . |
Modifier and Type | Method and Description |
---|---|
void |
NotificationTask.execute(NotificationEvent event,
NotificationManager manager)
called to execute the notification task, but this method
only takes care that we are in the even dispatcher thread
|
void |
ExitKeYNotification.execute(NotificationEvent event,
NotificationManager manager)
overwritten as invokeAndWait is taken called to execute the notification
task, but this method only takes care that we are in the even dispatcher
thread
|
protected void |
NotificationTask.executeActions(NotificationEvent event,
NotificationManager manager)
called to execute the notification task
|
Copyright © 2003-2019 The KeY-Project.