upload new dots to GPU when there is a window resize too

This commit is contained in:
2024-08-14 21:35:01 +01:00
parent 30dd9de17a
commit 3f4c52e0d8
4 changed files with 19 additions and 9 deletions

View File

@@ -7,7 +7,10 @@ sig
| DRAW_TRIANGLES_AND_RESET_DOTS of Real32.real vector
| DRAW_GRAPH of Real32.real vector
| RESIZE_TRIANGLES_DOTS_AND_GRAPH of
{triangles: Real32.real vector, graphLines: Real32.real vector}
{ triangles: Real32.real vector
, graphLines: Real32.real vector
, dots: Real32.real vector
}
| CLEAR_DOTS
| NO_DRAW
end
@@ -21,7 +24,10 @@ struct
| DRAW_TRIANGLES_AND_RESET_DOTS of Real32.real vector
| DRAW_GRAPH of Real32.real vector
| RESIZE_TRIANGLES_DOTS_AND_GRAPH of
{triangles: Real32.real vector, graphLines: Real32.real vector}
{ triangles: Real32.real vector
, graphLines: Real32.real vector
, dots: Real32.real vector
}
| CLEAR_DOTS
| NO_DRAW
end