Fix flush UI.

Normand Briere

2019-05-02 a76491b66a2e304d9ae27a162f407b98c70fbafa

1
2
3
4
5
6
7
8
 
interface BezierElement
{
    public int GetDepth();
    public void SetDepth(int d);
    
    public void recalculate();
}