Randomness
Toggle table of contents
v3.4.3
Select version
v3.4.3
v3.4.2
v3.4.1
v3.4.0
v3.3.6
v3.3.5
v3.3.4
v3.3.3
v3.3.2
v3.3.1
v3.3.0
v3.2.0
v3.1.0
v3.0.0
v2.7.7
v2.7.6
v2.7.5
v2.7.4
v2.7.3
v2.7.2
v2.7.1
v2.7.0
v2.6.1
v2.6.0
v2.5.1
v2.5.0
v2.4.1
v2.4.0
v2.3.0
v2.2.0
v2.1.0
v2.0.0
v1.6.1
v1.6.0
v1.5.2
v1.5.1
v1.5.0
v1.4.0
v1.3.2
v1.3.1
v1.3.0
v1.2.0
v1.1.0
v1.0.1
v1.0.0
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
Randomness
Randomness
/
com.fwdekker.randomness
/
PopupAction
/
isEditable
is
Editable
private
var
isEditable
:
Boolean
(
source
)
true
if and only if the user focused a non-viewer editor when opening this popup.