public static interface KeYGuiExtension.Startup
MainWindow
.
Can be used for registering key binding.Modifier and Type | Method and Description |
---|---|
void |
init(MainWindow window,
KeYMediator mediator) |
void init(MainWindow window, KeYMediator mediator)
Copyright © 2003-2019 The KeY-Project.