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.template
/
TemplateListEditor
/
Companion
/
EDITOR_PANEL_MARGIN
EDITOR_
PANEL_
MARGIN
const
val
EDITOR_PANEL_MARGIN
:
Int
=
10
(
source
)
Pixels of margin outside the editor panel.