Skip navigation links

Package de.uka.ilkd.key.gui.settings

This package provides a facility for a settings UI.

See: Description

Package de.uka.ilkd.key.gui.settings Description

This package provides a facility for a settings UI.

The settings UI consists out of a tree on left and customizable panes on the right.

You can participate on the default settings by adding a SettingsProvider to SettingsManager.getInstance(). The typical built-in settings are already register within this method.

Also you could consider using an extension: KeYGuiExtension.Settings.

Skip navigation links

Copyright © 2003-2019 The KeY-Project.