GeoGen Script reference
GGE1405

Script parameter defined in script metadata used name reserved by the language.

Currently, the reserved script parameter names are :

Width, Height, RenderOriginX, RenderOriginY, RenderWidth, RenderHeight 

Map width and height can be limited using the dedicated Width and Height nodes.

metadata
{
Parameters:
{
Height: { Min: 100, Max: 200 } // GGE1405
}
}