class RandomnessConfigurable : Configurable
Randomness' root configurable; all other configurables are its children.
RandomnessConfigurable()
Randomness' root configurable; all other configurables are its children. |
fun apply(): Unit
Does nothing because nothing can be done. |
|
fun createComponent(): DialogPanel
Returns a panel containing links to the other configurables. |
|
fun getDisplayName(): String
Returns the name of the configurable as displayed in the settings window. |
|
fun isModified(): Boolean
Returns false because there is nothing to be modified. |
const val FIND_SETTINGS_TIMEOUT: Int
Maximum number of milliseconds to try to find current data manager instance. |
|
const val LINK_MARGIN_BOTTOM: Int
The margin to insert below each link in the panel. |
|
const val LINK_MARGIN_TOP: Int
The margin to insert above each link in the panel. |