toggle menu
Randomness
v3.3.2
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
switch theme
search in API
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.