public class SettingsTreeModel
extends javax.swing.tree.DefaultTreeModel
ShowActiveSettingsAction
.Modifier and Type | Field and Description |
---|---|
private ProofIndependentSettings |
independentSettings |
private ProofSettings |
proofSettings |
private static long |
serialVersionUID |
Constructor and Description |
---|
SettingsTreeModel(ProofSettings proofSettings,
ProofIndependentSettings independentSettings) |
Modifier and Type | Method and Description |
---|---|
private javax.swing.JComponent |
generateJTable(java.util.Properties properties) |
private OptionContentNode |
generateOptionContentNode(java.lang.String title,
java.lang.String text) |
private javax.swing.JComponent |
generateScrollPane(java.lang.String text) |
private OptionContentNode |
generateTableNode(java.lang.String title,
ChoiceSettings settings) |
private OptionContentNode |
generateTableNode(java.lang.String title,
Settings settings) |
private void |
generateTree() |
private java.util.Properties |
getChoicesAsProperties(ChoiceSettings settings) |
javax.swing.JComponent |
getStartComponent() |
addTreeModelListener, asksAllowsChildren, fireTreeNodesChanged, fireTreeNodesInserted, fireTreeNodesRemoved, fireTreeStructureChanged, getChild, getChildCount, getIndexOfChild, getListeners, getPathToRoot, getPathToRoot, getRoot, getTreeModelListeners, insertNodeInto, isLeaf, nodeChanged, nodesChanged, nodeStructureChanged, nodesWereInserted, nodesWereRemoved, reload, reload, removeNodeFromParent, removeTreeModelListener, setAsksAllowsChildren, setRoot, valueForPathChanged
private static final long serialVersionUID
private ProofSettings proofSettings
private ProofIndependentSettings independentSettings
public SettingsTreeModel(ProofSettings proofSettings, ProofIndependentSettings independentSettings)
private void generateTree()
public javax.swing.JComponent getStartComponent()
private java.util.Properties getChoicesAsProperties(ChoiceSettings settings)
private OptionContentNode generateTableNode(java.lang.String title, Settings settings)
private OptionContentNode generateTableNode(java.lang.String title, ChoiceSettings settings)
private javax.swing.JComponent generateScrollPane(java.lang.String text)
private javax.swing.JComponent generateJTable(java.util.Properties properties)
private OptionContentNode generateOptionContentNode(java.lang.String title, java.lang.String text)