$darkmode
DENOPTIM
|
Public Member Functions | |
GUIPreferencesDialog (Component refForPlacement) | |
Constructs a dialog for setting the preferences of the GUI. More... | |
Public Member Functions inherited from denoptim.gui.GUIModalDialog | |
GUIModalDialog (Component refForPlacement) | |
Constructor. More... | |
GUIModalDialog (Component refForPlacement, boolean useExtraButton) | |
Constructor. More... | |
Object | showDialog () |
Shows the dialog and restrains the modality to it, until the dialog gets closed. More... | |
void | addToNorthPane (JComponent comp) |
Adds a component to the topmost part of this dialog frame. More... | |
void | addToCentralPane (JComponent comp) |
Adds a component to the central part of this dialog frame. More... | |
Package Attributes | |
final Dimension | fileLabelSize = new Dimension(250,28) |
Default sizes for file pathname labels. More... | |
final int | preferredHeight |
Default text field height. More... | |
final Dimension | strFieldSize = new Dimension(75,preferredHeight) |
Default sizes for short pathname fields (i.e., string or number) More... | |
Private Member Functions | |
void | checkInput () |
void | mustParseToInt (JTextField field, String name) |
void | pathMustBeReadableWritable (JTextField field, String name) |
void | storeValues () |
Private Attributes | |
JPanel | centralPanel |
String | namGraphTxtSize = "Font size for graph labels" |
JPanel | pnlGraphTxtSize |
JLabel | lblGraphTxtSize |
JTextField | txtGraphTxtSize |
String | namGraphNodeSize = "Size of graph nodes" |
JPanel | pnlGraphNodeSize |
JLabel | lblGraphNodeSize |
JTextField | txtGraphNodeSize |
String | namChartPointSize = "Size of points in evolution chart" |
JPanel | pnlChartPointSize |
JLabel | lblChartPointSize |
JTextField | txtChartPointSize |
String | namEvoChartLegend = "Display legend in evolution chart" |
JPanel | pnlEvoChartLegend |
JRadioButton | rcbEvoChartLegend |
String | namMntChartLegend = "Display legend in monitor chart" |
JPanel | pnlMntChartLegend |
JRadioButton | rcbMntChartLegend |
JPanel | linePropTags |
JLabel | lblPropTags |
DefaultTableModel | tabModPropTags |
JTable | tabPropTags |
JButton | btnPropTagsInsert |
JButton | btnPropTagsCleanup |
String | namTmpSpace = "Folder for tmp files" |
JPanel | pnlTmpSpace |
JLabel | lblTmpSpace |
JTextField | txtTmpSpace |
String | namSMILESTo3D = "SMILES-to-3D converer" |
JPanel | pnlSMILESTo3D |
JComboBox< SMITo3DEngine > | cmbSMILESTo3D |
JLabel | lblSMILESTo3D |
boolean | inputIsOK = true |
Static Private Attributes | |
static final long | serialVersionUID = -1416475901274128714L |
Version UID. More... | |
Additional Inherited Members | |
Protected Member Functions inherited from denoptim.gui.GUIModalDialog | |
void | close () |
Closes the dialog window. More... | |
Protected Attributes inherited from denoptim.gui.GUIModalDialog | |
JButton | btnDone |
The button that is used to launch the processing of the data given to the open dialog, and close the dialog window. More... | |
JButton | btnCanc |
The button that is used to close the dialog without processing any input. More... | |
JButton | btnExtra |
The button that can be used for any action that does not close the dialog. More... | |
Object | result = null |
The result to be returned once the dialog is closed. More... | |
Definition at line 48 of file GUIPreferencesDialog.java.
denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog | ( | Component | refForPlacement | ) |
Constructs a dialog for setting the preferences of the GUI.
refForPlacement | the component used to place this dialog. |
Definition at line 124 of file GUIPreferencesDialog.java.
References denoptim.gui.GUIModalDialog.btnCanc, denoptim.gui.GUIModalDialog.btnDone, denoptim.gui.GUIPreferencesDialog.btnPropTagsCleanup, denoptim.gui.GUIPreferencesDialog.btnPropTagsInsert, denoptim.gui.GUIPreferencesDialog.centralPanel, denoptim.gui.GUIPreferences.chartPointSize, denoptim.gui.GUIPreferencesDialog.checkInput(), denoptim.gui.GUIPreferences.chosenSDFTags, denoptim.gui.GUIModalDialog.close(), denoptim.gui.GUIPreferencesDialog.cmbSMILESTo3D, denoptim.gui.GUIPreferencesDialog.fileLabelSize, denoptim.gui.GUIPreferences.graphLabelFontSize, denoptim.gui.GUIPreferences.graphNodeSize, denoptim.gui.GUIPreferencesDialog.inputIsOK, denoptim.gui.GUIPreferencesDialog.lblChartPointSize, denoptim.gui.GUIPreferencesDialog.lblGraphNodeSize, denoptim.gui.GUIPreferencesDialog.lblGraphTxtSize, denoptim.gui.GUIPreferencesDialog.lblPropTags, denoptim.gui.GUIPreferencesDialog.lblSMILESTo3D, denoptim.gui.GUIPreferencesDialog.lblTmpSpace, denoptim.gui.GUIPreferencesDialog.linePropTags, denoptim.gui.GUIPreferencesDialog.namChartPointSize, denoptim.gui.GUIPreferencesDialog.namEvoChartLegend, denoptim.gui.GUIPreferencesDialog.namGraphNodeSize, denoptim.gui.GUIPreferencesDialog.namGraphTxtSize, denoptim.gui.GUIPreferencesDialog.namMntChartLegend, denoptim.gui.GUIPreferencesDialog.namSMILESTo3D, denoptim.gui.GUIPreferencesDialog.namTmpSpace, denoptim.gui.GUIPreferencesDialog.pnlChartPointSize, denoptim.gui.GUIPreferencesDialog.pnlEvoChartLegend, denoptim.gui.GUIPreferencesDialog.pnlGraphNodeSize, denoptim.gui.GUIPreferencesDialog.pnlGraphTxtSize, denoptim.gui.GUIPreferencesDialog.pnlMntChartLegend, denoptim.gui.GUIPreferencesDialog.pnlSMILESTo3D, denoptim.gui.GUIPreferencesDialog.pnlTmpSpace, denoptim.gui.GUIPreferencesDialog.rcbEvoChartLegend, denoptim.gui.GUIPreferencesDialog.rcbMntChartLegend, denoptim.gui.GUIPreferences.showLegenInEvolutionPlot, denoptim.gui.GUIPreferences.showLegenInMonitorPlot, denoptim.gui.GUIPreferences.smiTo3dResolver, denoptim.gui.GUIPreferencesDialog.storeValues(), denoptim.gui.GUIPreferencesDialog.strFieldSize, denoptim.gui.GUIPreferencesDialog.tabModPropTags, denoptim.gui.GUIPreferencesDialog.tabPropTags, denoptim.gui.GUIPreferences.tmpSpace, denoptim.gui.GUIPreferencesDialog.txtChartPointSize, denoptim.gui.GUIPreferencesDialog.txtGraphNodeSize, denoptim.gui.GUIPreferencesDialog.txtGraphTxtSize, and denoptim.gui.GUIPreferencesDialog.txtTmpSpace.
|
private |
Definition at line 331 of file GUIPreferencesDialog.java.
References denoptim.gui.GUIPreferencesDialog.inputIsOK, denoptim.gui.GUIPreferencesDialog.mustParseToInt(), denoptim.gui.GUIPreferencesDialog.namChartPointSize, denoptim.gui.GUIPreferencesDialog.namGraphNodeSize, denoptim.gui.GUIPreferencesDialog.namGraphTxtSize, denoptim.gui.GUIPreferencesDialog.namTmpSpace, denoptim.gui.GUIPreferencesDialog.pathMustBeReadableWritable(), denoptim.gui.GUIPreferencesDialog.txtChartPointSize, denoptim.gui.GUIPreferencesDialog.txtGraphNodeSize, denoptim.gui.GUIPreferencesDialog.txtGraphTxtSize, and denoptim.gui.GUIPreferencesDialog.txtTmpSpace.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 342 of file GUIPreferencesDialog.java.
References denoptim.gui.GUIPreferencesDialog.inputIsOK.
Referenced by denoptim.gui.GUIPreferencesDialog.checkInput().
|
private |
Definition at line 359 of file GUIPreferencesDialog.java.
References denoptim.files.FileUtils.canWriteAndReadTo(), denoptim.files.FileUtils.deleteFile(), and denoptim.gui.GUIPreferencesDialog.inputIsOK.
Referenced by denoptim.gui.GUIPreferencesDialog.checkInput().
|
private |
Definition at line 383 of file GUIPreferencesDialog.java.
References denoptim.gui.GUIPreferencesDialog.rcbEvoChartLegend, denoptim.gui.GUIPreferencesDialog.rcbMntChartLegend, denoptim.gui.GUIPreferencesDialog.txtChartPointSize, denoptim.gui.GUIPreferencesDialog.txtGraphNodeSize, denoptim.gui.GUIPreferencesDialog.txtGraphTxtSize, and denoptim.gui.GUIPreferencesDialog.txtTmpSpace.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 102 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 101 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 72 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 111 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
package |
Default sizes for file pathname labels.
Definition at line 59 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
|
private |
Definition at line 86 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 81 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 76 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 98 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 112 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 106 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 97 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 84 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.checkInput(), and denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 89 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 79 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.checkInput(), and denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 74 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.checkInput(), and denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 93 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 109 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 104 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.checkInput(), and denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 85 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 90 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 80 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 75 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 94 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 110 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 105 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
package |
Default text field height.
Definition at line 64 of file GUIPreferencesDialog.java.
|
private |
Definition at line 91 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog(), and denoptim.gui.GUIPreferencesDialog.storeValues().
|
private |
Definition at line 95 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog(), and denoptim.gui.GUIPreferencesDialog.storeValues().
|
staticprivate |
Version UID.
Definition at line 54 of file GUIPreferencesDialog.java.
|
package |
Default sizes for short pathname fields (i.e., string or number)
Definition at line 70 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 99 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 100 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog().
|
private |
Definition at line 87 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.checkInput(), denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog(), and denoptim.gui.GUIPreferencesDialog.storeValues().
|
private |
Definition at line 82 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.checkInput(), denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog(), and denoptim.gui.GUIPreferencesDialog.storeValues().
|
private |
Definition at line 77 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.checkInput(), denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog(), and denoptim.gui.GUIPreferencesDialog.storeValues().
|
private |
Definition at line 107 of file GUIPreferencesDialog.java.
Referenced by denoptim.gui.GUIPreferencesDialog.checkInput(), denoptim.gui.GUIPreferencesDialog.GUIPreferencesDialog(), and denoptim.gui.GUIPreferencesDialog.storeValues().