fix minor bug when resizing (resizing caused graph to be drawn and resized, even when graph was toggled off)
This commit is contained in:
@@ -69,7 +69,11 @@ struct
|
|||||||
let
|
let
|
||||||
val model = AppWith.windowResize (model, width, height)
|
val model = AppWith.windowResize (model, width, height)
|
||||||
val triangles = Triangles.toVector model
|
val triangles = Triangles.toVector model
|
||||||
val graphLines = GraphLines.generate model
|
|
||||||
|
val graphLines =
|
||||||
|
if #showGraph model then GraphLines.generate model
|
||||||
|
else Vector.fromList []
|
||||||
|
|
||||||
val drawMsg =
|
val drawMsg =
|
||||||
RESIZE_TRIANGLES_BUTTONS_AND_GRAPH
|
RESIZE_TRIANGLES_BUTTONS_AND_GRAPH
|
||||||
{triangles = triangles, graphLines = graphLines}
|
{triangles = triangles, graphLines = graphLines}
|
||||||
|
|||||||
Reference in New Issue
Block a user