Package | Description |
---|---|
de.uka.ilkd.key.gui.settings |
This package provides a facility for a settings UI.
|
Modifier and Type | Method and Description |
---|---|
protected <T> Validator<T> |
SettingsPanel.emptyValidator()
Creates an empty validator instance.
|
Modifier and Type | Method and Description |
---|---|
protected javax.swing.JCheckBox |
SettingsPanel.addCheckBox(java.lang.String title,
java.lang.String info,
boolean value,
Validator<java.lang.Boolean> validator) |
protected <T> javax.swing.JComboBox<T> |
SettingsPanel.addComboBox(java.lang.String title,
java.lang.String info,
int selectionIndex,
Validator<T> validator,
T... items) |
protected javax.swing.JTextField |
SettingsPanel.addFileChooserPanel(java.lang.String title,
java.lang.String file,
java.lang.String info,
boolean isSave,
Validator<java.lang.String> validator) |
protected javax.swing.JSpinner |
SettingsPanel.addNumberField(java.lang.String title,
int min,
int max,
int step,
java.lang.String info,
Validator<java.lang.Integer> validator) |
protected javax.swing.JTextArea |
SettingsPanel.addTextArea(java.lang.String title,
java.lang.String text,
java.lang.String info,
Validator<java.lang.String> validator) |
protected javax.swing.JTextField |
SettingsPanel.addTextField(java.lang.String title,
java.lang.String text,
java.lang.String info,
Validator<java.lang.String> validator) |
protected javax.swing.JTextField |
SettingsPanel.addTextField(java.lang.String title,
java.lang.String text,
java.lang.String info,
Validator<java.lang.String> validator,
javax.swing.JComponent additionalActions) |
protected javax.swing.JCheckBox |
SimpleSettingsPanel.createCheckBox(java.lang.String title,
boolean value,
Validator<java.lang.Boolean> validator) |
protected javax.swing.JFormattedTextField |
SimpleSettingsPanel.createNumberFormattedTextField(java.text.Format format,
Validator<java.lang.String> validator) |
protected javax.swing.JSpinner |
SimpleSettingsPanel.createNumberTextField(int min,
int max,
int step,
Validator<java.lang.Integer> validator) |
protected <T> javax.swing.JSpinner |
SimpleSettingsPanel.createNumberTextField(javax.swing.SpinnerModel model,
Validator<T> validator) |
protected <T> javax.swing.JComboBox<T> |
SettingsPanel.createSelection(T[] elements,
Validator<T> validator) |
protected javax.swing.JScrollPane |
SimpleSettingsPanel.createTextArea(java.lang.String text,
Validator<java.lang.String> validator) |
protected javax.swing.JTextField |
SimpleSettingsPanel.createTextField(java.lang.String text,
Validator<java.lang.String> validator) |
Copyright © 2003-2019 The KeY-Project.