core
/
com.unciv.ui.mapeditor
/
MapEditorOptionsTable
/
brushSize
brush
Size
var
brushSize
:
Int
= 1
Content copied to clipboard
Sources
jvm source
Link copied to clipboard