toggle menu
Randomness v3.0.0
3.0.0
jvm
switch theme
search in API
Randomness v3.0.0
/
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.